rohd
Hardware designer
A framework for designing and verifying digital hardware using the Dart programming language
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
377 stars
15 watching
68 forks
Language: Dart
last commit: about 2 months ago
Linked from 4 awesome lists
frameworkhardwarehardware-designhardware-verificationhdlrtlsimulatorverification
yissachar/awesome-dart
aolofsson/awesome-opensource-hardware
drom/awesome-hdl
ben-marshall/awesome-open-hardware-verificationRelated projects:
| Repository | Description | Stars |
|---|---|---|
| intel/rohd-hcl | A collection of reusable, configurable hardware components developed with ROHD | 81 |
| intel/rohd-cosim | An open-source package for cosimulating hardware and software development workflows between ROHD and SystemVerilog simulators. | 18 |
 philtomson/rhdl | A Ruby language and framework for designing and describing digital hardware systems | 14 |
 atduskgreg/rad | A Ruby framework for programming Arduino microcontrollers | 410 |
 eliasvansteenkiste/fpga-cad-framework | A Java framework for rapid prototyping of FPGA CAD algorithms, enabling efficient design and implementation of digital circuits on Field-Programmable Gate Arrays. | 24 |
 masc-ucsc/livehd | A compiler infrastructure for hardware design optimization and simulation. | 213 |
 the-openroad-project/openroad | An RTL-to-GDSII flow tool for rapid semiconductor digital design | 1,660 |
 mit-plv/koika | A formal language for designing and verifying rule-based hardware systems | 143 |
 vlsida/openram | A software framework that automates the design and layout of static random access memory (SRAM) circuits. | 845 |
 rdaly525/coreir | Builds hardware descriptions into executable code using an LLVM-style compiler framework. | 101 |
 amaranth-lang/amaranth | A Python-based language and toolchain for designing and synthesizing digital hardware | 1,592 |
 thehydroimpulse/thrust | A tool for building scalable, language-agnostic RPC services using Rust and asynchronous I/O. | 36 |
 ieee-ceda-datc/rdf-2020 | Provides a robust design flow for integrating and preserving research codes in RTL-to-GDS IC implementation | 13 |
 fabianschuiki/llhd | An intermediate representation language and simulator for digital circuit descriptions, aiming to simplify the development of EDA tools. | 397 |
 clash-lang/clash-compiler | A Haskell-based compiler for hardware description languages like VHDL, Verilog, and SystemVerilog. | 1,451 |