ESL verification tools & topics

CRAVE - Constrained RAndom Verification Environment

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


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.


Notification of updates

Please consider subscribing to our mailing list.



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