DocumentCode
2699992
Title
Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786)
fYear
2000
fDate
8-10 Nov. 2000
Abstract
The following topics were dealt with: advances in high-level test; validation and test for microprocessor design; hardware/software co-validation; formal verification; high-level design validation; and simulation-based verification
Keywords
formal verification; hardware-software codesign; high level synthesis; logic testing; design validation; formal verification; hardware/software co-validation; high-level test; microprocessor design; simulation-based verification; validation;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Level Design Validation and Test Workshop, 2000. Proceedings. IEEE International
Conference_Location
Berkeley, CA, USA
Print_ISBN
0-7695-0786-7
Type
conf
DOI
10.1109/HLDVT.2000.889550
Filename
889550
Link To Document