Alberto Sangiovanni-Vincentelli - Böcker

Unknown Component Problem

Theory and Applications

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Algorithms for Synthesis and Testing of Asynchronous Circuits

Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

Synthesis of Finite State Machines

Functional Optimization

Hardware-Software Co-Design of Embedded Systems

The POLIS Approach

Relaxation Techniques for the Simulation of VLSI Circuits

Noise Analysis of Radio Frequency Circuits

Noise Analysis of Radio Frequency Circuits

Relaxation Techniques for the Simulation of VLSI Circuits

Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Hardware-Software Co-Design of Embedded Systems

The POLIS Approach

Platform-Based Design

Embedded Systems Development

From Functional Models to Implementations

Unknown Component Problem

Theory and Applications

Embedded Systems Development

From Functional Models to Implementations

Security-Aware Design for Cyber-Physical Systems

A Platform-Based Approach

Security-Aware Design for Cyber-Physical Systems

A Platform-Based Approach

Embedded Software

Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Design Systems for VLSI Circuits

Logic Synthesis and Silicon Compilation