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 |
Year | DOI | Venue |
---|---|---|
2001 | 10.1109/43.908475 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
Keywords | DocType | Volume |
efficient control state-space search,symbolic algorithm,core procedure,reachable state-space,control state-space,conventional symbolic reachability analysis,hardware design,greater coverage,controller state | Journal | 20 |
Issue | ISSN | Citations |
2 | 0278-0070 | 1 |
PageRank | References | Authors |
0.36 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Adnan Aziz | 1 | 1778 | 149.76 |
J. Kukula | 2 | 23 | 1.50 |
T. Shiple | 3 | 1 | 0.36 |
Jun Yuan | 4 | 13 | 3.60 |