thoughtpolice / rv32-sail
32-bit RISC-V Emulator
☆23Updated 5 years ago
Related projects: ⓘ
- Kami based processor implementations and specifications☆22Updated 4 years ago
- Galois RISC-V ISA Formal Tools☆56Updated 8 months ago
- A Haskell to HDL (Verilog/VHDL) Compiler☆23Updated 7 months ago
- Haskell library for hardware description☆98Updated 2 weeks ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆50Updated 6 years ago
- RISC-V BSV Specification☆17Updated 4 years ago
- Kansas Lava☆47Updated 4 years ago
- Reticle evaluation (PLDI 2021)☆13Updated 3 years ago
- Manythread RISC-V overlay for FPGA clusters☆35Updated last year
- A Verilog parser for Haskell.