CRAVE - Constrained RAndom Verification Environment
CRAVE is a new library for constrained random stimuli generation.
The syntax of CRAVE has been designed to naturally fit with
C++ and SystemC.
CRAVE is freely available under the MIT license.
- New constraint specification API
A very intuitive and user-friendly Application Programming Interface (API)
to specify random variables and random objects has been developed.
- Dynamic constraints and data structures
Constraints can be controlled dynamically at run-time. Moreover,
constraints for elements of dynamic data structures like e.g. STL vectors
can be specified.
- Improved usability
Inline constraints can be formulated and changed incrementally at run-time.
- Parallel constraint-solving
BDD-based and SAT/SMT-based techniques have been integrated for
constraint-solving. A portfolio approach is used to enable very fast
generation of constraint solutions.
Please contact Rolf Drechsler in case of questions and/or problems at firstname.lastname@example.org
Some features of CRAVE are based on the following publications: