Naive Educational RISC V processor
☆94Oct 12, 2025Updated 4 months ago
Alternatives and similar repositories for nerv
Users that are interested in nerv are comparing it to the libraries listed below
Sorting:
- Collection of test cases for Yosys☆17Jan 4, 2022Updated 4 years ago
- RISC-V Formal Verification Framework☆182Updated this week
- Code repository for Coppelia tool☆23Nov 12, 2020Updated 5 years ago
- RISCV implementation in Verilog (RV32I spec)☆18Nov 5, 2025Updated 4 months ago
- ☆24Oct 24, 2022Updated 3 years ago
- For contributions of Chisel IP to the chisel community.☆71Nov 7, 2024Updated last year
- Programmer for the Lattice ECP5 series, making use of FTDI based adaptors☆93Nov 7, 2024Updated last year
- Equivalence checking with Yosys☆58Updated this week
- Verilog implementation of a simple riscv cpu☆18Oct 28, 2021Updated 4 years ago
- SpinalHDL based, FPGA Suitable RTL Implementation of RISC-V RV32. Aligned with RISC-V Virtual Prototype☆53Feb 2, 2026Updated last month
- PicoRV32 - A Size-Optimized RISC-V CPU☆3,986Jun 27, 2024Updated last year
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆496Updated this week
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆120Nov 10, 2025Updated 4 months ago
- World's first Nintendo 3DS emulator for Apple devices based on Citra.☆18Apr 7, 2023Updated 2 years ago
- The source code to the Voss II Hardware Verification Suite☆56Feb 16, 2026Updated 3 weeks ago
- A pipelined RISC-V processor☆63Dec 1, 2023Updated 2 years ago
- A dynamic verification library for Chisel.☆160Nov 9, 2024Updated last year
- SystemVerilog frontend for Yosys☆203Feb 22, 2026Updated 2 weeks ago
- A rudimental RISCV CPU supporting RV32I instructions, in VHDL☆125Oct 13, 2020Updated 5 years ago
- nextpnr portable FPGA place and route tool☆1,627Updated this week
- Instruction and files for porting Arm DesignStart to CW305.☆16Dec 6, 2023Updated 2 years ago
- Lipsi: Probably the Smallest Processor in the World☆88Apr 15, 2024Updated last year
- SERV - The SErial RISC-V CPU☆1,761Feb 19, 2026Updated 2 weeks ago
- Universal utility for programming FPGA☆1,562Updated this week
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- Mutation Cover with Yosys (MCY)☆91Updated this week
- Compact FPGA game console☆166Nov 14, 2023Updated 2 years ago
- RISC-V Cores, SoC platforms and SoCs☆915Mar 26, 2021Updated 4 years ago
- A padring generator for ASICs☆26May 17, 2023Updated 2 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Nov 3, 2020Updated 5 years ago
- Yosys Open SYnthesis Suite☆4,316Updated this week
- A Verilog Filelist parser in Rust☆11Mar 25, 2022Updated 3 years ago
- ☆20Feb 27, 2023Updated 3 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Picorv32 SoC on the TinyFPGA BX, for games etc.☆12Sep 22, 2018Updated 7 years ago
- ☆14Dec 27, 2024Updated last year
- RV32I Single Cycle Processor (CPU)☆12Nov 14, 2021Updated 4 years ago
- GUI for SymbiYosys☆17Oct 13, 2025Updated 4 months ago
- RISCV MYTH 4 stage pipelined core designed using TL-Verilog and supports RV32I base integer instruction set☆15Jan 14, 2021Updated 5 years ago