DocumentCode
1601889
Title
Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001
fYear
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Design, 2001. ICCD 2001. Proceedings. 2001 International Conference on
Conference_Location
Austin, TX, USA
ISSN
1063-6404
Print_ISBN
0-7695-1200-3
Type
conf
DOI
10.1109/ICCD.2001.954993
Filename
954993
Link To Document