To introduce constrained randomization features, the CRAVE library can be used in combination with UVM-SystemC. The syntax of CRAVE has been designed to naturally fit with C++ and SystemC. The CRAVE library includes modern BDD-based and SAT/SMT-based constraint solvers.

This version of CRAVE is the reference implementation provided by the Accellera Systems Initiative and is developed by the SystemC Verification Working Group.

See the separate LICENSE and NOTICE files to determine your rights and responsiblities for using CRAVE.

The main documentation of CRAVE can be found in the doc directory.

See the separate INSTALL file that provides system information and installation instructions.

• SystemC community website
  https://systemc.org

• SystemC Verification discussion forum (UVM-SystemC, SCV, CRAVE, FC4SC)
  https://forums.accellera.org/forum/38-systemc-verification-uvm-systemc-scv-crave-fc4sc/

Accellera's SystemC Working Groups are responsible for the definition and development of the SystemC Core and Transaction Level Modeling (TLM) language, including extensions for analog/mixed-signal (AMS), control, configuration, and inspection (CCI), sythesis and verification. Participants of these working groups include member companies and industry contributors. Technical contributors typically have many years of practical experience with IC and system-level design as well as developing system-level design methodologies and using EDA tools.

Accellera Systems Initiative is an independent, not-for profit organization dedicated to create, support, promote and advance system-level design, modeling and verification standards for use by the worldwide electronics industry. The organization accelerates standards development and, as part of its ongoing partnership with the IEEE, its standards are contributed to the IEEE Standards Association for formal standardization and ongoing change control. For more information, please visit www.accellera.org. Find out more about membership. Follow @accellera on Twitter or to comment, please use #accellera.

Accellera, Accellera Systems Initiative and SystemC are trademarks of Accellera Systems Initiative Inc. All other trademarks and trade names are the property of their respective owners.