Design systems for VLSI circuits : logic synthesis and silicon compilation / ed. by G. De Micheli, A. Sangiovanni-Vincentelli, P. AntognettiSteady-state methods for simulating analog and microwave circuits / by Kenneth S. Kundert, Jacob K. White, Alberto Sangiovanni-VincentelliAlgorithms for synthesis and testing of asynchronous circuits / Luciano Lavagno, Alberto Sangiovanni-VincentelliLogic synthesis for field-programmable gate arrays / by Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-VincentelliAnalysis and simulation of noise in nonlinear electronic circuits and systems / by Alper Demir and Alberto Sangiovanni-VincentelliFunction, architecture optimization and co-design of embedded systems / Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-VincentelliSynchronous equivalence : formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-VincentelliCross-talk noise immune VLSI design using regular layout fabrics / Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-VincentelliNoise analysis of radio frequency circuits / by Amit Mehrotra, Alberto Sangiovanni-VincentelliRelaxation techniques for the simulation of VLSI circuits / by Jacob K. White and Alberto Sangiovanni-Vincentelli