Hybrid verification using saturated simulation

A. Aziz, J. Kukula, T. Shiple
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175)  
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.
doi:10.1109/dac.1998.724545 fatcat:fyrslzaw6nazlidae6htqpcasi