RPTU-EIS / upec-boom-verification-suiteLinks
This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks based on the Unique Program Execution Checking (UPEC) approach.
☆19Updated 2 years ago
Alternatives and similar repositories for upec-boom-verification-suite
Users that are interested in upec-boom-verification-suite are comparing it to the libraries listed below
Sorting:
- Advanced Architecture Labs with CVA6☆68Updated last year
- 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
- CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform☆19Updated 2 months ago
- Verification environment for the OpenHW Group's CORE-V High Performance Data Cache controller.☆16Updated 7 months ago
- CVA6 SDK containing RISC-V tools and Buildroot☆74Updated 2 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆90Updated last month
- Prototype-network-on-chip (ProNoC) is an EDA tool that facilitates prototyping of custom heterogeneous NoC-based many-core-SoC (MCSoC).☆59Updated last month
- ☆80Updated last year
- LEN5 is a configurable, speculative, out-of-order, 64-bit RISC-V microprocessor targetting etherogeneus systems on chip.☆17Updated last year
- Tests for example Rocket Custom Coprocessors☆75Updated 5 years ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆37Updated last year
- A verilog implementation for Network-on-Chip☆76Updated 7 years ago
- ☆78Updated 10 years ago
- zero-riscy CPU Core☆17Updated 7 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆54Updated 5 years ago
- Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operat…☆20Updated 10 months ago
- A Chisel RTL generator for network-on-chip interconnects☆210Updated last month
- ☆97Updated 2 years ago
- ☆34Updated 9 months ago
- Public release☆56Updated 6 years ago
- SystemVerilog Functional Coverage for RISC-V ISA☆30Updated 3 months ago
- Modular Multi-ported SRAM-based Memory☆31Updated 10 months ago
- ILA Model Database☆23Updated 4 years ago
- For pre-silicon developers of RISC-V systems, riscv-vip is a SystemVerilog project that helps with pre-si verification and debug☆63Updated 4 years ago
- A Style Guide for the Chisel Hardware Construction Language☆108Updated 4 years ago
- Project repo for the POSH on-chip network generator☆50Updated 6 months ago
- A dynamic verification library for Chisel.☆155Updated 10 months ago
- A Fast, Low-Overhead On-chip Network☆226Updated last month
- Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs☆38Updated 10 months ago
- Administrative repository for the Integrated Matrix Extension Task Group☆27Updated last month