Robert King Brayton

Ebooks

Logic Synthesis for Field-Programmable Gate Arrays

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

Synthesis of Finite State Machines: Functional Optimization

The Unknown Component Problem: Theory and Applications

Synthesis of Finite State Machines: Logic Optimization

Logic Minimization Algorithms for VLSI Synthesis

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design