Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation: NATO Science Series E:, cartea 136

Introduction: Synthesis of LSI Circuits.- I: Synthesis Methods.- Procedural Design and Module Generation.- Module Generators for VLSI Design.- Abstraction and Layering in Silicon Compilation Tools.- Symbolic Layout and Procedural Design.- Physical Synthesis.- Automatic Layout of Integrated Circuits.- Logic Synthesis.- Algorithms for Multi-Level Logic Synthesis and Optimization.- Verification Algorithms for VLSI Synthesis.- Logic Synthesis.- Synthesis of Control Systems.- Towards Intelligent Silicon Compilation.- II. Synthesis Systems.- A Mixed-Media Approach to Module Generator Design.- Design of Module Generators and Silicon Compilers.- Layout Compilation.- The Socrates Logic Synthesis and Optimization System.- The Syco Silicon Compiler and Its Environment.- The MEGA System for Semi-Custom Design.- III. Synthesis Systems for Digital Signal Processing.- Automatic Generation of Digital Signal Processing Circuits.- Cathedral II: A Synthesis and Module Generation System for Multiprocessor Systems on a Chip.