Algorithms for Synthesis and Testing of Asynchronous CircuitsLuciano Lavagno, Alberto L. Sangiovanni-Vincentelli · First published 2012Open the Tome
Languages and tools for hybrid systems designLuca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli · First published 2006Open the Tome
Noise analysis of radio frequency circuitsAmit Mehrotra, Alberto L. Sangiovanni-Vincentelli · First published 2003Open the Tome
Hybrid Systems : Computation and ControlMaria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli · First published 2003Open the Tome
Synchronous equivalenceHarry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli · First published 2001Open the Tome
Cross-talk noise immune VLSI design using regular layout fabricsSunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli · First published 2001Open the Tome
Function/architecture optimization and co-design of embedded systemsBassam Tabbara, Abdallah Tabbara, Alberto L. Sangiovanni-Vincentelli · First published 2000Open the Tome
Synthesis of finite state machinesTiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli · First published 1997Open the Tome
Synthesis of finite state machinesTimothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli · First published 1996Open the Tome
Relaxation Techniques for the Simulation of VLSI CircuitsJacob K White, Alberto L Sangiovanni-Vincentelli · First published 1986Open the Tome