fabianschuiki / mooreLinks
A hardware compiler based on LLHD and CIRCT
☆264Updated 5 months ago
Alternatives and similar repositories for moore
Users that are interested in moore are comparing it to the libraries listed below
Sorting:
- Low Level Hardware Description — A foundation for building hardware design tools.☆424Updated 3 years ago
- The LLHD reference simulator.☆39Updated 5 years ago
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆102Updated this week
- Verilator Porcelain☆49Updated 2 years ago
- A dependency management tool for hardware projects.☆337Updated this week
- ☆104Updated 3 years ago
- SystemVerilog parser library fully compliant with IEEE 1800-2017☆454Updated last month
- Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation☆229Updated this week
- An HDL embedded in Rust.☆202Updated 2 years ago
- Open Application-Specific Instruction Set processor tools (OpenASIP)☆168Updated this week
- Read and write VCD (Value Change Dump) files in Rust☆44Updated last year
- Fearless hardware design☆183Updated 3 months ago
- Time-sensitive affine types for predictable hardware generation☆147Updated last month
- Logic circuit analysis and optimization☆45Updated 3 months ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆180Updated 7 months ago
- SystemVerilog linter☆370Updated last month
- Working draft of the proposed RISC-V Bitmanipulation extension☆216Updated last year
- Tile based architecture designed for computing efficiency, scalability and generality☆276Updated 2 months ago
- Intermediate Language (IL) for Hardware Accelerator Generators☆568Updated this week
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆151Updated last month
- Main page☆128Updated 5 years ago
- ⛔ DEPRECATED ⛔ Lean but mean RISC-V system!☆227Updated 2 years ago
- A SystemVerilog language server based on the Slang library.☆76Updated this week
- magma circuits☆263Updated last year
- RISC-V Formal Verification Framework☆169Updated last week
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆238Updated 3 months ago
- Hardware generator debugger☆77Updated last year
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 3 years ago
- RISC-V RV64GC emulator designed for RTL co-simulation☆235Updated last year
- high-performance RTL simulator☆184Updated last year