The Unknown Component ProblemTiziano Villa, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli, Nina Yevtushenko · First published 2007Open 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
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
Logic Minimization Algorithms for VLSI SynthesisRobert K. Brayton · First published 1984Open the Tome
