Title :
[Copyright notice]
Abstract :
Topics in this conference are related to: verification methodologies and applications; RTL validation and debug; formal methods for verification; SystemC, to design or to verify?; high-level modeling and validation; system validation approaches; improved verification techniques; reachability analysis; abstraction guided simulation; and post-silicon validation and debug.
Keywords :
computer debugging; logic simulation; reachability analysis; RTL debugging; RTL validation; SystemC evaluation; abstraction guided simulation; formal method; high-level modeling; improved verification technique; post-silicon validation; reachability analysis; system validation approach; verification application; verification methodology;
Conference_Titel :
High Level Design Validation and Test Workshop, 2009. HLDVT 2009. IEEE International
Conference_Location :
San Francisco, CA
Print_ISBN :
978-1-4244-4823-4
DOI :
10.1109/HLDVT.2009.5340182
