rptu-eis Goto Github PK

.github

adsproject

This repository contains the basic files for the class project of the course "Architecture of Digital Systems I"

boomv3-delay-on-miss-dcache

The repository contains the source files for the BOOM v3, patched against transient execution attacks using UPEC iterative patch cycles.

fault-attack-monitors

opentitan_with_access_control

OpenTitan Silver Release v5 copy for security improvements

riscv-boom

SonicBOOM: The Berkeley Out-of-Order Machine

riscv-core

5-stage RISC-V core (RV32IM) with pipelining designed for educational purposes by RPTU Kaiserslautern, Germany

rocket-chip-inclusive-cache

An RTL generator for a last-level shared inclusive TileLink cache controller

secureboom

Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown and Spectre)

security-conscious-hardware

Collection of experiments on data-oblivious hardware designs that dynamically adjust their latency

speckle

A wrapper for the SPEC CPU2017 benchmark suite.

symbolic-pmp

This repository contains a symbolic and secure configuration template for the RISC-V Physical Memory Protection (PMP) to be used in SV/SVA based verification flows.

thesis-template

LaTeX template for Bachelor and Master theses at EIS chair

upec-boom-verification-suite

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.

upec-dit

This repository contains experiments and results on using UPEC to prove data-independent timing in hardware.

vdsproject

This repository contains the basic files for the class project of the course "Verification of Digital Systems"

vericheri