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)
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
EUR 64,51 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiDa: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Trade Paperback. Very Good. Text block clean and unmarked. Tight binding. Codice articolo UTL13-0187
Quantità: 1 disponibili
Da: HPB-Red, Dallas, TX, U.S.A.
paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_370424965
Quantità: 1 disponibili