9780769512006: Computer Design, 2001

Synopsis

Papers from a September 2001 conference examine topics in the research, design, and implementation of computer systems and their components. Contributors discuss practical and theoretical work on system and processor architecture, logic and circuit design, verification and test methods, and tools and methodologies. Some specific topics include asynchronous techniques, architectural modeling, caching, simulation-based verification, modeling of capacitance and crosstalk noise, and test point insertion for synchronous sequential circuits. Other topics include computer arithmetic, circuit sizing and optimization, processor microarchitecture, innovation in disk drive electronics, and formal methods for property verification and equivalence verification. This work lacks a subject index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

"synopsis" may belong to another edition of this title.