Logic design and simulation link system design to electrical engineering and form a key issue in contemporary VLSI design. This volume examines the past, present and future of this topic. The first part of the book treats subjects from logic synthesis, which is followed by a review of logic simulation and related topics. Finally, the book takes a look at the future of silicon compilation and artificial intelligence, showing how programming is gaining importance in chip development, allowing access to non-experts. It highlights the fact that VLSI design systems of the future will be characterized by an efficient combination of traditional algorithmic processes and the new knowledge-based AI techniques.
Introduction (E. Horbst, Th. Wecker). Logic Design Techniques. Top-Down
Design of Digital Systems (G. Zimmermann). Logic Synthesis (W. Rosenstiel, D.
Schmid, G. Sandweg). Structured Design of Control Specifications (L.
Spaanenburg). Simulation and Verification. Mixed Level Modelling and
Simulation of VLSI Systems (F.J. Rammig). Logic Simulation Programs (S.
Murai, H. Matsushita, K. Enomoto). Hardware Engines for Logic Simulation (Y.
Kitamura et al.). CAD Components. Semi-Custom Design Systems (Th. Wecker).
Artificial Intelligence for Logic Design (W. Rosenstiel, Th. Bergstrasser).
Graphical Principles in the Design of VLSI CAD Systems (J.L. Encarnacao, M.
Mehl). Author & Subject Indexes.
