The Unknown Component Problem

By Tiziano Villa, Alan Mishchenko, Alberto Sangiovanni Vincentelli, Nina Yevtushenko, Alexandre Petrenko, Robert K. Brayton

Cross Talk Noise Immune VLSI Design Using Regular Layout Fabrics

By Robert K. Brayton, Sunil P. Khatri, Alberto L. Sangiovanni Vincentelli

Timed Boolean functions

By William K. C. Lam

Logic synthesis for field-programmable gate arrays

By Rajeev Murgai

Synthesis of Finite State Machines

By Tiziano Villa, Robert K. Brayton, Timothy Kam, Alberto L. Sangiovanni Vincentelli

Synthesis of Finite State Machines: Functional Optimization is divided into three parts. The first part presents some preliminary definitions, theories and techniques related to the exploration of...

Synthesis of Finite State Machines

By Tiziano Villa, Robert K. Brayton, Timothy Kam, Alberto L. Sangiovanni Vincentelli

EDA for IC System Design Verification and Testing Electronic Design Automation for Integrated Circuits Handbook

By

EDA for IC Implementation Circuit Design and ProcessTechnology Electronic Design Automation for Integrated Circuits Handbook

By

Electronic Design Automation for Integrated Circuits Handbook 2 Volume Set

By Luciano Lavagno, Grant Martin, Louis Scheffer

Logic minimization algorithms for VLSI synthesis

By