applications implications international integrated-circuit

books:

Logic Minimization Algorithms for VLSI Synthesis (The Springer International Series in Engineering and ...
Robert K. Brayton, Gary D. Hachtel, ...

Springer, 1984

Synthesis of Finite State Machines:: Logic Optimization

1 review
Tiziano Villa, Timothy Kam, ...

Springer, 1997

design of thermal systems
optimisation in design of heat exchanger

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis (The Springer International Series in ...
William K.C. Lam, Robert K. Brayton

Springer, 1994

Timing research in high performance VLSI systems has advanced at a steady pace over the last few years. Tools, however, especially theoretical mechanisms, lag behind. Much of the present timing research relies heavily on timing diagrams, which although intuitive, are inadequate for analysis of large designs with many parameters. Further, timing diagrams offer only approximations, not exact solutions to many timing problems and provide ...

The Unknown Component Problem: Theory and Applications
Tiziano Villa, Robert K. Brayton, ...

Springer, 2007

Consider the problem of designing a component that combined with a known part of a system, called the context, conforms to a given overall specification. This question arises in several applications ranging from logic synthesis to the design of discrete controllers. We cast the problem as solving abstract equations over languages and study the most general (largest) solutions under the synchronous and parallel composition operators. We also ...

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
Sunil P. Khatri, Robert K. Brayton, ...

Springer, 2001

This book was motivated by the problems being faced with shrinking IC process feature sizes. It is well known that as process feature sizes shrink, a host of electrical problems such as cross-talk, electromigration, self-heat, etc. become important. Cross-talk is one of the major problems since it results in unpredictable design behavior. In particular, it can result in significant delay variation or signal integrity problems in a wire, ...

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

Springer, 1991

Logic Synthesis for Field-Programmable Gate Arrays (The Springer International Series in Engineering and ...

2 reviews
Rajeev Murgai, Robert K. Brayton, ...

Springer, 1995

Incredible resource
Gate array implementations differ from traditional logic design not just in scale, but in kind. A million- or billion-gate system is bigger than a student's 4-variable exercises in Karnaugh mapping, for sure. Logic implementation in terms of LUTs (as in Altera's and Xilinx's FPGAs) or muxes (as in Actel's) differs fundamentally from and-or-not logic, too. If you build tools that do LUT-level ...

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

Springer, 2004

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design discusses new approaches to better timing-closure and manufacturability of DSM Integrated Circuits. The key idea presented is the use of regular circuit and interconnect structures such that area/delay can be predicted with high accuracy. The co-design of structures and algorithms allows great opportunities for achieving better final results, thus closing the gap between IC and CAD ...