CRAVE - Constrained RAndom Verification Environment


CRAVE is a library for constrained random stimuli generation. The syntax of CRAVE has been designed to naturally fit with C++ and SystemC.


We have contributed CRAVE to the Accellera Systems Initiative and it is further developed by the Verification Working Group (VWG). Hence, CRAVE can be found on the official Accellera GitHub here.