Analysis And Simulation Of Noise In Nonlinear Electronic Circuits And Systems
 »

A Top-Down Constraint-Driven Design Methodology for Analog Integrated Circuits
 »

Synchronous Equivalence
Formal Methods For Embedded Systems »

Hardware-Software Co-Design of Embedded Systems
Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously w... »

Function / Architecture Optimization And Co-Design Of Embedded Systems
Function architecture co-design is a new paradigm for the design and implementation of embedded systems. This work presents the authors' work in developing a... »

Logic Synthesis For Field-Programmable Gate Arrays
 »

Algorithms For Synthesis And Testing Of Asynchronous Circuits
 »