Constraint-based Verification

Constraint-Based Verification is a functional verification methodology that employs constrained-random stimulus generation, where a test generator produces input sequences according to user-defined constraints to systematically explore legal behaviors of a design under test while ensuring coverage of corner-case scenarios.

Publications

2.3K

Citations

159

Authors

Institutions

Publications per year

2017–2026

Variants

Constrained-random Verification

Parents

Functional Verification

Publications

Local verification of global integrity constraints in distributed databases

Ashish Gupta, Jennifer Widom · 1993 · 94 citations · Full text

Computing, Computer Science, Data Management +15

Stimulus generation for constrained random simulation

Nathan Kitchen, Andreas Kuehlmann · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2007 · 88 citations

Architecture, Computer Engineering, Design Automation +16

Modeling Design Constraints and Biasing in Simulation Using BDDs

1999 · 88 citations

Architecture, Computer Engineering, Computer Science +17

Using a constraint satisfaction formulation and solution techniques for random test program generation

Eyal Bin, R. Emek, Gil Shurek et al. · IBM Systems Journal · 2002 · 88 citations

Computing, Computer Engineering, Computer Science +16

Constraint-Based Random Stimuli Generation for Hardware Verification

Y. Naveh, Michal Rimon, Itai Jaeger et al. · AI Magazine · 2007 · 85 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 71

Authors

159

CP
Carl Pixley
Motorola (United States), United States
5 publications · 186 citations
5
h-index
KA
Ken Albin
Motorola (United States), United States
4 publications · 120 citations
4
h-index
JY
Jun Yuan
University of York, United Kingdom
3 publications · 69 citations
3
h-index
AA
Adnan Aziz
The University of Texas at Austin, United States
3 publications · 69 citations
3
h-index
GS
Gil Shurek
IBM Research - Haifa, Israel
3 publications · 224 citations
3
h-index

1–5 of 159

Institutions

1–8 of 69

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2 publications · 97 citations
2
h-index
Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design
ICCAD · 2 publications · 103 citations
2
h-index
Algorithmica
1 publications · 22 citations
1
h-index
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361)
Conference · 1 publications · 14 citations
1
h-index
Software & Systems Modeling
SoSyM · 1 publications · 13 citations
1
h-index

1–5