scarv / scarv-cpu
SCARV: a side-channel hardened RISC-V platform
☆24Updated 2 years ago
Alternatives and similar repositories for scarv-cpu:
Users that are interested in scarv-cpu are comparing it to the libraries listed below
- DUTH RISC-V Superscalar Microprocessor☆29Updated 3 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated 8 months ago
- Wavious DDR (WDDR) Physical interface (PHY) Software☆19Updated 2 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆25Updated 4 years ago
- SystemVerilog Functional Coverage for RISC-V ISA☆25Updated 4 months ago
- ☆22Updated 3 weeks ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 6 months ago
- ☆33Updated 2 years ago
- ☆17Updated 2 years ago
- Capture retired instructions of a RISC-V Core and compress them to a sequence of packets.☆18Updated 10 months ago
- LIS Network-on-Chip Implementation☆29Updated 8 years ago
- ☆52Updated 2 years ago
- Open source RTL simulation acceleration on commodity hardware☆23Updated last year
- Platform Level Interrupt Controller☆35Updated 8 months ago
- For contributions of Chisel IP to the chisel community.☆57Updated 2 months ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆31Updated 6 months ago
- A fault-injection framework using Chisel and FIRRTL☆34Updated last year
- RISCV core RV32I/E.4 threads in a ring architecture☆30Updated last year
- An Open Source Link Protocol and Controller☆24Updated 3 years ago
- Source-Opened RISCV for Crypto☆15Updated 3 years ago
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆29Updated 8 months ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- ☆22Updated last year
- ☆36Updated 2 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆20Updated 5 years ago
- A lightweight core for the CV32E40 implementing the RISC-V vector extension specification. (v0.8)☆32Updated 4 years ago
- This document adopts the method from the XAPP1230 for doing readback capture on Xilinx UltraScale devices and shows how to migrate the sa…☆15Updated 5 years ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆40Updated 4 years ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago