2 search results - page 1 / 1 » Guest Editorial Special Section on Design Verification and V... |
121
Voted
TVLSI
2008
15 years 3 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
