DocumentCode
2100412
Title
Hybrid verification using saturated simulation
Author
Aziz, Adnan ; Kukula, J. ; Shiple, Tom
Author_Institution
Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
fYear
1998
fDate
19-19 June 1998
Firstpage
615
Lastpage
618
Abstract
We develop a verification paradigm called saturated simulation, that is applicable to designs which can be decomposed into a set of interacting controllers. The core procedure is a symbolic algorithm that explores the space of controller interactions; heuristics for making this traversal efficient are described. Experiments demonstrate that our procedure explores substantially more of the controller interactions, and is more efficient than conventional symbolic reachability analysis.
Keywords
digital simulation; formal verification; logic CAD; heuristics; hybrid verification; interacting controllers; saturated simulation; symbolic algorithm; Binary decision diagrams; Computational complexity; Computational modeling; Computer bugs; Design methodology; Hardware; Permission; Proposals; Reachability analysis; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1998. Proceedings
Conference_Location
San Francisco, CA, USA
Print_ISBN
0-89791-964-5
Type
conf
Filename
724545
Link To Document