|
Abstract : |
We develop techniques for eciently searching the state space of control dominated hardware designs. Heuristics are used to guide the search to uncovered portions of the state space; mechanisms employed include adaptive random simulation, directed search, BDD subsetting, and interspersing symbolic methods with simulation. We dene a coverage metric based on a guarded command language; experiments demonstrate that our algorithms results in more coverage than conventional verication strategies, at a reduced computational eort. 1, |
