Für diesen Artikel ist leider kein Bild verfügbar.

Progress in Computer-Aided VLSI Design, Volume Two

Techniques

Buch | Hardcover

200 Seiten

1989
Intellect Books (Verlag)
978-0-89391-539-1 (ISBN)

Titel z.Zt. nicht lieferbar
Versandkostenfrei
Auch auf Rechnung

Artikel merken

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.

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.

Erscheint lt. Verlag	1.5.1989
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Informatik ► Weitere Themen ► CAD-Programme
	Technik ► Elektrotechnik / Energietechnik
ISBN-10	0-89391-539-4 / 0893915394
ISBN-13	978-0-89391-539-1 / 9780893915391
Zustand	Neuware