Alberto L Sangiovanni Vincentelli

Relaxation Techniques For The Simulation Of Vlsi Circuits

Function/Architecture Optimization And Co-Design Of Embedded Systems

Function/Architecture Optimization And Co-Design Of Embedded Systems

The Unknown Component Problem

Hardware-Software Co-Design Of Embedded Systems

Synthesis Of Finite State Machines

Synthesis Of Finite State Machines

Steady-State Methods For Simulating Analog And Microwave Circuits

Noise Analysis Of Radio Frequency Circuits

Synthesis Of Finite State Machines

Hardware-Software Co-Design Of Embedded Systems

Logic Synthesis For Field-Programmable Gate Arrays

Logic Minimization Algorithms For Vlsi Synthesis

Relaxation Techniques For The Simulation Of Vlsi Circuits

A Top-Down, Constraint-Driven Design Methodology For Analog Integrated Circuits

Logic Synthesis For Field-Programmable Gate Arrays

Cross-Talk Noise Immune Vlsi Design Using Regular Layout Fabrics

Synchronous Equivalence

Algorithms For Synthesis And Testing Of Asynchronous Circuits

The Unknown Component Problem

Analysis And Simulation Of Noise In Nonlinear Electronic Circuits And Systems

Algorithms For Synthesis And Testing Of Asynchronous Circuits

Analysis And Simulation Of Noise In Nonlinear Electronic Circuits And Systems