Title :
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation
Author_Institution :
Department of Computer Science, University of British Columbia, Vancouver
Keywords :
Circuit simulation; Computational modeling; Computer industry; Computer simulation; Conferences; Formal verification; Gas insulated transmission lines; Hardware design languages; Performance evaluation; Testing;
Conference_Titel :
High-Level Design Validation and Test Workshop, 2006. Eleventh Annual IEEE International
Conference_Location :
Monterey, CA, USA
Print_ISBN :
1-4244-0680-3
Electronic_ISBN :
1552-6674
DOI :
10.1109/HLDVT.2006.319980
