Progress in Computer-Aided VLSI Design, Volume Two

Techniques

Inbunden, Engelska, 1989

459 kr

Tillfälligt slut

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.

Produktinformation

Utgivningsdatum1989-05-01
FormatInbunden
SpråkEngelska
Antal sidor200
FörlagIntellect
ISBN9780893915391

Tillhör följande kategorier

Elektronik och kommunikationer inom Naturvetenskap och teknik
CAD-program inom Data och IT
Systemvetenskap och AI inom Data och IT

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.