mupq / pqriscv-vexriscvLinks
VexRiscv reference platforms for the pqriscv project
☆16Updated last year
Alternatives and similar repositories for pqriscv-vexriscv
Users that are interested in pqriscv-vexriscv are comparing it to the libraries listed below
Sorting:
- ☆17Updated 3 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆30Updated last year
- HW Design Collateral for Caliptra RoT IP☆110Updated last week
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆57Updated 3 weeks ago
- ☆10Updated 3 years ago
- ☆80Updated last year
- AXI Formal Verification IP☆20Updated 4 years ago
- A fault-injection framework using Chisel and FIRRTL☆37Updated 4 months ago
- ☆20Updated 5 years ago
- SHA3 (KECCAK)☆18Updated 11 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆42Updated 2 years ago
- A configurable SRAM generator☆54Updated 3 weeks ago
- SCARV: a side-channel hardened RISC-V platform☆20Updated 4 years ago
- Advanced Debug Interface☆15Updated 7 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆71Updated 2 months ago
- SystemVerilog FSM generator☆32Updated last year
- A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.☆46Updated 3 years ago
- Chisel wrapper and accelerators for Columbia's Embedded Scalable Platform (ESP)☆24Updated 5 years ago
- Provides dot visualizations of chisel/firrtl circuites☆13Updated 6 years ago
- ☆12Updated 4 years ago
- HW Design Collateral for Caliptra Subsystem, which comprises Caliptra RoT IP and additional manufacturer controls.☆29Updated last week
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆88Updated last year
- YosysHQ SVA AXI Properties☆42Updated 2 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆33Updated last year
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆43Updated 5 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 5 years ago
- Chisel implementation of AES☆23Updated 5 years ago
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆14Updated 5 months ago
- LIS Network-on-Chip Implementation☆31Updated 9 years ago
- SystemVerilog Linter based on pyslang☆31Updated 4 months ago