HOME | CONTACT | Switch DE

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen

CRAVE


CRAVE - Constrained RAndom Verification Environment


Description

Screenshot CRAVE 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.

Features
  • 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.

Contact
Please contact Rolf Drechsler in case of questions and/or problems at drechsler@uni-bremen.de.

Download
References

Some features of CRAVE are based on the following publications:



©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy