ESL verification tools & topics

CRAVE - Constrained RAndom Verification Environment

NEW: CRAVE is available again at GitHub!


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
Institute for
Complex Systems, JKU Linz
Johannes Kepler University Linz
Group of
Computer Architecture, University of Bremen
University of Bremen

supported by BMBF Project CONFIRM Project CONVERS Project EffektiV Project SANITAS