CRAVE - Constrained RAndom Verification Environment

Description

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

Where?

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.

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.

Related Papers & Slides

• CRAVE for UVM-SystemC (VWG 2020)
• Using constraints for SystemC AMS design and verification (DVCon Europe 2018) (received Best Paper Award)
• CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC (DVCon Europe 2014)
• CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC (SoC 2012)
• The System Verification Methodology for Advanced TLM Verification (CODES+ISSS 2012)
• An Advanced Constrained Random Verification Environment for SystemC (24th European SystemC User’s Group Meeting 2011)
• SMT-based Stimuli Generation in the SystemC Verification Library (FDL 2009)
• Contradiction Analysis for Constraint-based Random Simulation (FDL 2008)
• Improvements for Constraint Solving in the SystemC Verification Library (GLSVLSI 2007)