Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design by Fan Mo, Robert K. Brayton.

by Mo, Fan, Brayton, Robert K.
Published 2004

Integrating Functional and Temporal Domains in Logic Design The False Path Problem and Its Implications by Patrick C. McGeer, Robert K. Brayton.

by McGeer, Patrick C., Brayton, Robert K.
Published 1991

Timed Boolean Functions A Unified Formalism for Exact Timing Analysis by William K.C. Lam, Robert K. Brayton.

by Lam, William K.C, Brayton, Robert K.
Published 1994

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics by Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli.

by Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.
Published 2001

Logic Synthesis for Field-Programmable Gate Arrays by Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli.

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

Synthesis of Finite State Machines Functional Optimization by Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli.

by Kam, Timothy, Villa, Tiziano, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.
Published 1997

Synthesis of Finite State Machines Logic Optimization by Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli.

by Villa, Tiziano, Kam, Timothy, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.
Published 1997

Logic Minimization Algorithms for VLSI Synthesis by Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli.

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

The Unknown Component Problem Theory and Applications by Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli.

by Villa, Tiziano, Yevtushenko, Nina, Brayton, Robert K., Mishchenko, Alan, Petrenko, Alexandre, Sangiovanni-Vincentelli, Alberto
Published 2012