Sciweavers

Share
2 search results - page 1 / 1
» Guest Editorial Special Section on Design Verification and V...
Sort
View
TVLSI
2008
151views more  TVLSI 2008»
11 years 6 months ago
Guest Editorial Special Section on Design Verification and Validation
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...
I. Harris, D. Pradhan
books