DocumentCode
2215150
Title
Reliable verification using symbolic simulation with scalar values
Author
Wilson, Chris ; Dill, David L.
Author_Institution
Stanford University
fYear
2000
fDate
2000
Firstpage
124
Lastpage
129
Keywords
Circuit simulation; Circuit testing; Computational modeling; Computer simulation; Costs; Data structures; Emulation; Hardware; Laboratories; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN
1-58113-187-9
Type
conf
DOI
10.1109/DAC.2000.855290
Filename
855290
Link To Document