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:
- ☆18Updated 3 years ago
- ☆12Updated 4 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆30Updated last year
- HW Design Collateral for Caliptra RoT IP☆115Updated this week
- ☆20Updated 5 years ago
- ☆10Updated 3 years ago
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆59Updated 2 weeks 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
- A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.☆48Updated 3 years ago
- Advanced Debug Interface☆14Updated 9 months ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆36Updated 4 years ago
- YosysHQ SVA AXI Properties☆43Updated 2 years ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated 2 months ago
- HW Design Collateral for Caliptra Subsystem, which comprises Caliptra RoT IP and additional manufacturer controls.☆31Updated this week
- ☆81Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆92Updated last year
- Platform Level Interrupt Controller☆43Updated last year
- FIPS 202 compliant SHA-3 core in Verilog☆23Updated 5 years ago
- AXI Formal Verification IP☆20Updated 4 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated last month
- Chisel implementation of AES☆23Updated 5 years ago
- JTAG DPI module for SystemVerilog RTL simulations☆31Updated 10 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆43Updated 2 years ago
- SHA3 (KECCAK)☆18Updated 11 years ago
- RISC-V soft-core PEs for TaPaSCo☆23Updated last year
- AXI Adapter(s) for RISC-V Atomic Operations☆66Updated 2 weeks ago
- Common SystemVerilog package used by all RoaLogic IP with AMBA AHB3-Lite interfaces☆18Updated last year
- This repository is outdated and the related functionality has been migrated to https://github.com/easysoc/easysoc-firrtl☆11Updated 4 years ago
- SCARV: a side-channel hardened RISC-V platform☆22Updated 4 years ago