KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#dsh #dsh-plugin #developer-tools #ai-agent #claude-code #codex #typescript #ai-agents #deepseek-harness #mcp #cli #rust

crave

★ 20 Open GitHub ↗

Constrained RAndom Verification Enviroment (CRAVE)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# 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][1] and is developed by the [SystemC Verification Working Group][2].

-------------------------------------------------------------------------------

### Licensing and Copyright

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

### User Documentation

The main documentation of CRAVE can be found in the [doc](doc) directory.

### Installation and Usage

See the separate [INSTALL](INSTALL.md) file that provides system information and installation instructions.

### SystemC Verification Community

* 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/

-------------------------------------------------------------------------------

### About Accellera SystemC Working Groups

Accellera's [SystemC Working Groups][3] 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][1] 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][1]. Find out more about [membership][4]. Follow [@accellera][5] 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._

[1]: https://accellera.org
[2]: https://www.accellera.org/activities/working-groups/systemc-verification
[3]: https://www.accellera.org/activities/working-groups
[4]: https://accellera.org/about/join/
[5]: https://twitter.com/accellera

crave

Was this content helpful?

Recent Feedback

Download README