systemc-verification.org

ESL verification tools & topics

CRAVE - Constrained RAndom Verification Environment

NEW: Preview of CRAVE integration in UVM-SystemC available here

Description

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

Notification of updates

Please consider subscribing to our mailing list.

Download

References

Some features of CRAVE are based on the following publications:

Created by
Group of
Computer Architecture, University of Bremen
University of Bremen

supported by BMBF Project EffektiV Project SANITAS