Skip to content

Constrained RAndom Verification Enviroment (CRAVE)

License

Notifications You must be signed in to change notification settings

Minres/crave

 
 

Repository files navigation

Constrained RAndom Verification Enviroment (CRAVE)

About CRAVE

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.


Licensing and Copyright

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

User Documentation

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

Installation and Usage

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

SystemC Verification Community


About Accellera SystemC Working Groups

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.

About Accellera Systems Initiative

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.

About

Constrained RAndom Verification Enviroment (CRAVE)

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 89.1%
  • CMake 6.3%
  • Shell 3.9%
  • Python 0.3%
  • C 0.2%
  • Makefile 0.1%
  • Awk 0.1%