Lineare Regelungs- und Steuerungstheorie Modellierung von Regelstrecken Robuste Stabilität und Entwurf robuster Regler Trajektoriensteuerung mit Folgeregelung Polynomiale Beschreibung von MIMO-Systemen Zeitdiskrete und Abtastregelkreise

Finite Zeros in Discrete Time Control Systems

Stochastic Hybrid Systems Theory and Safety Critical Applications

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications

Fundamentals of Solid State Engineering

Micromachined Thin-Film Sensors for SOI-CMOS Co-Integration

Rapid Prototyping of Digital Systems

Scalable Hardware Verification with Symbolic Simulation

Wide-Bandwidth High-Dynamic Range D/A Converters

Constraint-Based Verification

Effective Functional Verification Principles and Processes

Digital Phase Lock Loops Architectures and Applications

Software-Implemented Hardware Fault Tolerance

Analog Circuit Design RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage

Human-Like Biomechanics A Unified Mathematical Approach to Human Biomechanics and Humanoid Robotics

Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS

AmIware Hardware Technology Drivers of Ambient Intelligence

METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS

TRANSISTOR LEVEL MODELING FOR ANALOG/RF IC DESIGN

ΣΔ A/D CONVERSION FOR SIGNAL CONDITIONING

IQ CALIBRATION TECHNIQUES FOR CMOS RADIO TRANSCEIVERS

Adaptive Low-Power Circuits for Wireless Communications

RF POWER AMPLIFIERS FOR MOBILE COMMUNICATIONS

Design Automation Methods and Tools for Microfluidics-Based Biochips

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

Digital Control Systems Design, Identification and Implementation

Integrated Circuit Test Engineering Modern Techniques

Robust Control of Time-delay Systems

$\mathcal{H}_\infty$ Control for Nonlinear Descriptor Systems

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity

Leakage in Nanometer CMOS Technologies

Wideband Amplifiers

FPGA Implementations of Neural Networks

High-Speed Photodiodes in Standard CMOS Technology

BioMEMS

Interconnect Noise Optimization in Nanometer Technologies

Gizopoulos / Advances in ElectronicTesting

Thermal and Power Management of Integrated Circuits

Embedded System Design

Writing Testbenches using System Verilog

Digital Timing Measurements From Scopes and Probes to Timing and Jitter

Adaptive Techniques for Mixed Signal System on Chip

Sub-threshold Design for Ultra Low-Power Systems

Broadband Fixed Wireless Access A System Perspective

Abstraction Refinement for Large Scale Model Checking

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

Feedforward Amplifiers for Wideband Communication Systems

A Practical Introduction to PSL

Hardware Verification with C++ A Practitioner’s Handbook

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Harmonic Analysis and Rational Approximation Their Rôles in Signals, Control and Dynamical Systems

Robust Control of Linear Systems Subject to Uncertain Time-Varying Parameters

Einführung in die Halbleiter-Schaltungstechnik

Halbleiter-Leistungsbauelemente Physik, Eigenschaften, Zuverlässigkeit

Control of Fluid Flow

Fast Motions in Biomechanics and Robotics Optimization and Feedback Control

Discrete-time Sliding Mode Control A Multirate Output Feedback Approach

Control of Uncertain Systems: Modelling, Approximation, and Design A Workshop on the Occasion of Keith Glover’s 60th Birthday

Robust Control and Filtering of Singular Systems

Switched Finite Time Control of a Class of Underactuated Systems

Advances in Variable Structure and Sliding Mode Control

High-Frequency Oscillator Design for Integrated Transceivers

Mixed-Signal Layout Generation Concepts

Taxonomies for the Development and Verification of Digital Systems

Advanced BDD Optimization

Fault Diagnosis of Analog Integrated Circuits

UML for SOC Design

Dynamic Characterisation of Analogue-to-Digital Converters

System Level Design of Reconfigurable Systems-on-Chip

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

A Practical Guide for SystemVerilog Assertions

Data Mining and Diagnosing IC Fails

Interconnect-Centric Design for Advanced SoC and NoC

Digital Design and Implementation with Field Programmable Devices

Assertion-Based Design

Direct Transistor-level Layout for Digital Blocks

Clock Generators for SOC Processors Circuits and Architectures

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation