Progress in Computer-Aided VLSI Design, Volume Two
Techniques
Will be published approx. on 1. May 1989
Book
Hardback
200 pages
978-0-89391-539-1 (ISBN)
Description
These volumes review late 1980s/early 1990s state-of-the-art developments in computer-aided design and analysis techniques. Contributions from researchers and practitioners include discussions of parallel algorithms and fundamental operations in cryptography, systolic arrays and pipelined designs.
More details
Language
English
Place of publication
United Kingdom
Publishing group
Intellect
Target group
College/higher education
Professional and scholarly
ISBN-13
978-0-89391-539-1 (9780893915391)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
Formal techniques for hardware correctness verification - an introduction; formal techniques for hardware correctness verification - current research activities; place-router for "Sea-of Gates" design style; mutlilayer routing problem; techniques for minimum-area design of IC power; ground nets; timing delay modelling and simulation of digital CMOS circuits; implementation of device models in electronic circuit simulator programs; fault analysis methods and artificial intelligence; syntheses and optimization of multilevel logic; mapping algorithms onto multidimensional systolic arrays.