DocumentCode
3201360
Title
Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)
fYear
2004
fDate
10-12 Nov. 2004
Abstract
The following topics are dealt with: formal verification; formal specification; processor-oriented validation; decision diagram; validation pattern generation; behavioral modeling; fault coverage analysis; SAT solving; network architecture validation; high-level validation.
Keywords
computability; decision diagrams; fault diagnosis; formal specification; formal verification; SAT solving; behavioral modeling; decision diagram; fault coverage analysis; formal specification; formal verification; high-level validation; network architecture validation; pattern generation validation; processor-oriented validation;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International
Conference_Location
Sonoma Valley, CA, USA
ISSN
1552-6674
Print_ISBN
0-7803-8714-7
Type
conf
DOI
10.1109/HLDVT.2004.1431209
Filename
1431209
Link To Document