Title :
Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001
Abstract :
The following topics were discussed: VLSI; asynchronous techniques; architectural modeling: performance and power analysis; simulation based verification; modeling of capacitance and crosstalk noise; test pattern generation, test compaction, and test point insertion for synchronous sequential circuits; Power 4 microprocessor; computer arithmetic; improving the performance of caching structures; circuit sizing and optimization; clocking and time-domain measurements; processor microarchitecture; CAD algorithms for physical design; formal methods for property verification and equivalence verification; hardware representation; and DSP/multimedia
Keywords :
VLSI; formal verification; logic design; logic testing; CAD algorithms; DSP/multimedia; Power 4 microprocessor; architectural modeling; asynchronous techniques; circuit sizing; computer arithmetic; computer systems design; crosstalk noise; formal method; hardware representation; logic design; logic test methods; logic verification; processor architecture; simulation based verification; synchronous sequential circuits; test compaction; test pattern generation;
Conference_Titel :
Computer Design, 2001. ICCD 2001. Proceedings. 2001 International Conference on
Conference_Location :
Austin, TX, USA
Print_ISBN :
0-7695-1200-3
DOI :
10.1109/ICCD.2001.954993
