Title :
Symbolic reachability analysis of large finite state machines using don´t cares
Author :
Hong, Youpyo ; Beerel, Peter A.
Author_Institution :
Synopsys Inc., Hillsboro, OR, USA
Abstract :
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachability analysis using don´t cares. First, we propose an iterative approximate reachability analysis technique in which don´t care sets derived from previous iterations are used in subsequent iterations for better approximation. Second, we propose new techniques to use the final approximation to enhance the capability and efficiency of exact reachability analysis. Experimental results show that the new techniques can improve reachability analysis significantly
Keywords :
binary decision diagrams; finite state machines; iterative methods; logic CAD; reachability analysis; symbol manipulation; CAD applications; computer-aided design; don´t care sets; iterative approximate technique; large FSM; large finite state machines; symbolic reachability analysis; Application software; Automata; Binary decision diagrams; Boolean functions; Data structures; Design automation; Distributed control; Iterative methods; Minimization; Reachability analysis;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition 1999. Proceedings
Conference_Location :
Munich
Print_ISBN :
0-7695-0078-1
DOI :
10.1109/DATE.1999.761091