The challenges of constraint-based test generation
Vitaly Lagoon · 2011
We describe the challenges underlying the design of a constraint-based test generator for functional verification of hardware. We show how these challenges are addressed by IntelliGen™ -- a constraint-based test generator by Cadence Design Systems.