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: 8 days ago
Linked from 4 awesome lists
frameworkhardwarehardware-designhardware-verificationhdlrtlsimulatorverification
Related 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-based language for describing and modeling digital circuits and 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 framework for accelerating hardware design synthesis and simulation by compiling multiple HDLs into a unified graph structure | 211 |
the-openroad-project/openroad | An RTL-to-GDSII flow tool for rapid semiconductor digital design | 1,646 |
mit-plv/koika | A formal language for designing and verifying rule-based hardware systems | 140 |
vlsida/openram | A software framework that automates the design and layout of static random access memory (SRAM) circuits. | 841 |
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,584 |
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 for digital circuit descriptions, with an accompanying simulator and compiler. | 397 |
clash-lang/clash-compiler | A compiler that converts Haskell code to hardware description languages | 1,445 |