Computer Design (ICCD '97), VLSI in Computers and Processors 1997: Proceedings of the International Conference

Aimed at researchers, professors, practitioners, students and other computing professionals, this book looks at topics such as: industrial applications of formal verification; stimulation and power estimation; branch prediction; and new techniques for gate-sizing and retiming.

Gespeichert in:
Körperschaften:
IEEE Computer Society. Design Automation Technical Committee (MitwirkendeR), IEEE Circuits and Systems Society (MitwirkendeR)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 1997
Zusammenfassung:
Aimed at researchers, professors, practitioners, students and other computing professionals, this book looks at topics such as: industrial applications of formal verification; stimulation and power estimation; branch prediction; and new techniques for gate-sizing and retiming.
Umfang:
1 online resource (xix, 761 pages) : illustrations
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Integrated circuits > Very large scale integration > Congresses.
Bezugswerke: