HEP-SoC / SoCMakeLinks
CMake based hardware build system
☆31Updated this week
Alternatives and similar repositories for SoCMake
Users that are interested in SoCMake are comparing it to the libraries listed below
Sorting:
- SystemVerilog FSM generator☆32Updated last year
- ☆19Updated last year
- Library of open source Process Design Kits (PDKs)☆53Updated last week
- Proposed RISC-V Composable Custom Extensions Specification☆71Updated 3 months ago
- YosysHQ SVA AXI Properties☆42Updated 2 years ago
- A configurable SRAM generator☆54Updated last month
- Cross EDA Abstraction and Automation☆39Updated last week
- A lightweight core for the CV32E40 implementing the RISC-V vector extension specification. (v0.8)☆35Updated 4 years ago
- DUTH RISC-V Superscalar Microprocessor☆31Updated 11 months ago
- ☆13Updated 3 years ago
- SystemVerilog Functional Coverage for RISC-V ISA☆30Updated 4 months ago
- An open source PDK using TIGFET 10nm devices.☆51Updated 2 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆42Updated 2 years ago
- Open source RTL simulation acceleration on commodity hardware☆29Updated 2 years ago
- Open Source PHY v2☆31Updated last year
- Simple UVM environment for experimenting with Verilator.☆25Updated last month
- A library and command-line tool for querying a Verilog netlist.☆28Updated 3 years ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆42Updated 5 years ago
- A SystemVerilog language server based on the Slang parser and library.☆40Updated last week
- ☆32Updated 9 months ago
- Common SystemVerilog RTL modules for RgGen☆13Updated last month
- ☆33Updated 2 years ago
- SystemVerilog Linter based on pyslang☆31Updated 5 months ago
- The PULP RI5CY core modified for Verilator modeling and as a GDB server.☆25Updated 6 years ago
- ☆14Updated 3 months ago
- RISCV core RV32I/E.4 threads in a ring architecture☆33Updated 2 years ago
- Open source process design kit for 28nm open process☆61Updated last year
- Test dashboard for verification features in Verilator☆27Updated this week
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆33Updated 4 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆89Updated last year