Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/intel/rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
framework hardware hardware-design hardware-verification hdl rtl simulator verification
Last synced: 30 Jul 2024
https://github.com/cristian-mattarei/CoSA
CoreIR Symbolic Analyzer
formal-methods formal-verification hardware-verification model-checking satisfiability-modulo-theories systemverilog verilog
Last synced: 30 Jul 2024
https://github.com/intel/rohd-vf
The ROHD Verification Framework is a hardware verification framework built upon ROHD for building testbenches.
framework hardware hardware-verification verification
Last synced: 30 Jul 2024