minispec-hdl / minispec
Minispec Hardware Description Language
☆21Updated last year
Alternatives and similar repositories for minispec:
Users that are interested in minispec are comparing it to the libraries listed below
- A Hardware Pipeline Description Language☆44Updated last year
- A teaching-focused RISC-V CPU design used at UC Davis☆149Updated 2 years ago
- Open-source non-blocking L2 cache☆41Updated this week
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆12Updated last month
- chipyard in mill :P☆78Updated last year
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 4 years ago
- Time-sensitive affine types for predictable hardware generation☆142Updated 9 months ago
- Software workload management tool for RISC-V based SoC research. This is the default workload management tool for Chipyard and FireSim.☆80Updated 4 months ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆13Updated last week
- A standalone structural (gate-level) verilog parser☆35Updated this week
- Open-source high-performance non-blocking cache☆80Updated last week
- FPGA synthesis tool powered by program synthesis☆41Updated last week
- An Extended Version of the T0x multithreaded cores, with a custom general purpose parametrized SIMD/MIMD vector coprocessor and support …☆48Updated 8 months ago
- CHERI-RISC-V model written in Sail☆58Updated 3 weeks ago
- Open source high performance IEEE-754 floating unit☆70Updated last year
- A fault-injection framework using Chisel and FIRRTL☆36Updated 2 years ago
- A Rocket-based RISC-V superscalar in-order core☆31Updated 2 weeks ago
- Lipsi: Probably the Smallest Processor in the World☆84Updated last year
- Chisel/Firrtl execution engine☆154Updated 8 months ago
- RISC-V BSV Specification☆20Updated 5 years ago
- A fork of chibicc ported to RISC-V assembly.☆40Updated 2 years ago
- Dual-issue RV64IM processor for fun & learning☆60Updated last year
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆61Updated 11 months ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆100Updated 5 years ago
- The specification for the FIRRTL language☆54Updated this week
- Chisel library for Unum Type-III Posit Arithmetic☆37Updated 3 weeks ago
- Tutorial on building your own CPU, in Verilog☆33Updated 3 years ago
- Manythread RISC-V overlay for FPGA clusters☆36Updated 2 years ago
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆72Updated 2 years ago
- Ocelot: The Berkeley Out-of-Order Machine With V-EXT support☆160Updated 3 months ago