DocumentCode
1447812
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
Volume
20
Issue
2
fYear
2001
fDate
2/1/2001 12:00:00 AM
Firstpage
332
Lastpage
336
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;
fLanguage
English
Journal_Title
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Publisher
ieee
ISSN
0278-0070
Type
jour
DOI
10.1109/43.908475
Filename
908475
Link To Document