Abstract | ||
---|---|---|
We describe a framework for constrained simulation-vector generationin an industry setting. The framework consists of two keycomponents: the constraint compiler and the vector generator. Theconstraint compiler employs various techniques, including prioritization,partitioning, extraction, and decomposition, to minimize theinternal representation of the constraints, and thus the complexityof constraint solving. The vector generator then uses the compileddata together with input biasing to generate random simulation vectors.Constraints and input biases are treated in a unified manner inthe vector generator. Although there are many alternative ways ofgenerating vectors from constraints, the framework uniquely suits apractical constrained verification environment because of its abilityto handle complicated constraints and its seamless treatment of constraintsand biases. We illustrate the effectiveness of the frameworkwith real examples from commercial designs. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/ICCAD.2003.4 | Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design |
Keywords | Field | DocType |
computational complexity,functional verification,formal verification | Constraint satisfaction,Functional verification,Mathematical optimization,Computer science,Constraint (mathematics),Constraint programming,Compiler,Constrained clustering,Constraint logic programming,Formal verification | Conference |
ISBN | Citations | PageRank |
1-58113-762-1 | 20 | 1.11 |
References | Authors | |
14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jun Yuan | 1 | 20 | 1.11 |
Carl Pixley | 2 | 418 | 44.09 |
Adnan Aziz | 3 | 1778 | 149.76 |
Ken Albin | 4 | 47 | 3.59 |