Title :
Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786)
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;
Conference_Titel :
High-Level Design Validation and Test Workshop, 2000. Proceedings. IEEE International
Conference_Location :
Berkeley, CA, USA
Print_ISBN :
0-7695-0786-7
DOI :
10.1109/HLDVT.2000.889550
