Design systems for VLSI circuits : logic synthesis and silicon compilation

edited by G. De Micheli, A. Sangiovanni-Vincentelli, P. Antognetti

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

「Nielsen BookData」より


  • 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.

「Nielsen BookData」より


書名 Design systems for VLSI circuits : logic synthesis and silicon compilation
著作者等 Antognetti, Paolo
De Micheli, G.
NATO Advanced Study Institute on "Logic Synthesis and Silicon Compilation for VLSI Design"
Sangiovanni-Vincentelli, Alberto
Sangiovanni-Vincentelli Alberto L.
DeMicheli Giovanni
シリーズ名 NATO ASI series
出版元 M. Nijhoff
刊行年月 1987
ページ数 viii, 651 p.
大きさ 25 cm
ISBN 9024735610
NCID BA01060307
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ