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
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 10 months ago
- ArmleoCPU - RISC-V CPU RV64GC, SMP, Linux, Doom. Work in progress to execute first instruction with new feature set☆6Updated 2 years ago
- LIS Network-on-Chip Implementation☆29Updated 8 years ago
- DUTH RISC-V Superscalar Microprocessor☆30Updated 5 months ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- Platform Level Interrupt Controller☆38Updated 10 months ago
- SystemVerilog Functional Coverage for RISC-V ISA☆26Updated 6 months ago
- Source-Opened RISCV for Crypto☆15Updated 3 years ago
- ☆25Updated this week
- Simple UVM environment for experimenting with Verilator.☆19Updated 3 months ago
- RISCV core RV32I/E.4 threads in a ring architecture☆32Updated last year
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 8 months ago
- RISCV-VP++ is a extended and improved successor of the RISC-V based Virtual Prototype (VP) RISC-V VP. It is maintained at the Institute f…☆32Updated last month
- Capture retired instructions of a RISC-V Core and compress them to a sequence of packets.☆19Updated last year
- ☆33Updated 2 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆40Updated last year
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆48Updated 2 months ago
- Hardware Formal Verification☆15Updated 4 years ago
- ☆22Updated last year
- ☆18Updated 4 years ago
- System on Chip with RISCV-32 / RISCV-64 / RISCV-128☆23Updated 2 weeks ago
- ☆36Updated 2 years ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆60Updated 10 months ago
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆20Updated 6 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Software☆19Updated 3 years ago
- Advanced Debug Interface☆14Updated 2 months ago
- ☆17Updated 2 years ago
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆30Updated 10 months ago
- ☆11Updated last week
- Open source RTL simulation acceleration on commodity hardware☆25Updated last year