The challenges of constraint-based test generation

Authors:
Vitaly Lagoon
Affiliations:
Cadence Design Systems, Chelmsford, MA, USA
Venue:
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Year:
2011

Citing 2
Cited 0

The e Language: A Fresh Separation of Concerns

TOOLS '01 Proceedings of the Technology of Object-Oriented Languages and Systems
An explanation-based constraint debugger

HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.