Title :
Efficient control state-space search
Author :
Aziz, Adnan ; Kukula, Jim ; Shiple, Tom ; Yuan, Jun
Author_Institution :
Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
fDate :
2/1/2001 12:00:00 AM
Abstract :
We develop algorithms for exploring the reachable state-space of hardware designs that can be partitioned into control and data. The core procedure is a symbolic algorithm that tries to visit as many controller states as is computationally feasible. Here, we describe heuristics for making this traversal efficient. Experiments demonstrate that our approach is capable of achieving significantly greater coverage of the control state-space than conventional symbolic reachability analysis
Keywords :
binary decision diagrams; logic CAD; logic partitioning; reachability analysis; state-space methods; BDDs; control state-space; controller states; hardware designs; heuristics; reachable state-space; symbolic algorithm; Algorithm design and analysis; Boolean functions; Computer bugs; Data structures; Explosions; Hardware; Latches; Partitioning algorithms; Reachability analysis; Testing;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
