intel / rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
☆401Updated this week
Alternatives and similar repositories for rohd:
Users that are interested in rohd are comparing it to the libraries listed below
- A hardware component library developed with ROHD.☆87Updated this week
- The ROHD Verification Framework is a hardware verification framework built upon ROHD for building testbenches.☆37Updated last month
- Test suite designed to check compliance with the SystemVerilog standard.☆306Updated this week
- CORE-V Family of RISC-V Cores☆231Updated last week
- A minimal Linux-capable 64-bit RISC-V SoC built around CVA6☆224Updated this week
- Example designs showing different ways to use F4PGA toolchains.☆272Updated 10 months ago
- Cosimulation for the Rapid Open Hardware Development (ROHD) framework with other simulators☆20Updated 2 weeks ago
- This is the CORE-V MCU project, hosting CORE-V's embedded-class cores.☆172Updated last year
- 4 stage, in-order, compute RISC-V core based on the CV32E40P☆226Updated 3 months ago
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compil…☆381Updated 2 months ago
- SystemVerilog parser library fully compliant with IEEE 1800-2017☆426Updated 2 weeks ago
- Caravel is a standard SoC template with on chip resources to control and read/write operations from a user-dedicated space.☆312Updated last week
- Tile based architecture designed for computing efficiency, scalability and generality☆244Updated last week
- FOSS Flow For FPGA☆369Updated last month
- Code generation tool for control and status registers☆366Updated this week
- RISC-V RV64GC emulator designed for RTL co-simulation☆221Updated 3 months ago
- SystemVerilog synthesis tool☆177Updated this week
- Documentation for the OpenHW Group's set of CORE-V RISC-V cores☆205Updated last week
- FuseSoC-based SoC for VeeR EH1 and EL2☆306Updated 2 months ago
- Qflow full end-to-end digital synthesis flow for ASIC designs☆198Updated 3 months ago
- SystemVerilog linter☆334Updated last month
- magma circuits☆255Updated 4 months ago
- The batteries-included testing and formal verification library for Chisel-based RTL designs.☆231Updated 6 months ago
- Verilog Configurable Cache☆170Updated 2 months ago
- VeeR EL2 Core☆263Updated this week
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆427Updated last week
- Ocelot: The Berkeley Out-of-Order Machine With V-EXT support☆156Updated last month
- SystemVerilog to Verilog conversion☆591Updated this week
- Common SystemVerilog components☆573Updated 2 weeks ago
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆209Updated 3 months ago