Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation

by Giovanni DeMicheli (Editor), Alberto L. Sangiovanni-Vincentelli (Editor), P. Antognetti (Editor)

Overview

Proceedings of the NATO Advanced Study Institute, L'Aquila, Italy, July 7-18, 1986

Product Details

ISBN-13:	9789024735617
Publisher:	Springer Netherlands
Publication date:	07/31/1987
Series:	NATO Science Series E: , #136
Edition description:	1987
Pages:	651
Product dimensions:	6.14(w) x 9.21(h) x 0.24(d)

Table of Contents

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.