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.

GitHub

377 stars
15 watching
68 forks
Language: Dart
last commit: 8 days ago
Linked from 4 awesome lists

frameworkhardwarehardware-designhardware-verificationhdlrtlsimulatorverification

Backlinks from these awesome lists:

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