Logic Minimization Algorithms for VLSI Synthesis

by Brayton, Robert K., Hachtel, Gary D., McMullen, C., Sangiovanni-Vincentelli, Alberto L.
Published 1984

Algorithms for Synthesis and Testing of Asynchronous Circuits

by Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto L.
Published 1993

Steady-State Methods for Simulating Analog and Microwave Circuits

by Kundert, Kenneth S., White, Jacob K., Sangiovanni-Vincentelli, Alberto L.
Published 1990

Logic Synthesis for Field-Programmable Gate Arrays

by Murgai, Rajeev, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.
Published 1995

Relaxation Techniques for the Simulation of VLSI Circuits

by White, Jacob K., Sangiovanni-Vincentelli, Alberto L.
Published 1987

Function/Architecture Optimization and Co-Design of Embedded Systems

by Tabbara, Bassam, Tabbara, Abdallah, Sangiovanni-Vincentelli, Alberto L.
Published 2000