ics-jku Goto Github PK

.github

epex-formal-rv32-model

A RISC-V RV32 model ready for SMT program synthesis.

fsyn

goldcrest-microcode-verification

Verification of RISC-V microcode based on SUBLEQ

goldcrest-vp

A RISC-V VP with SUBLEQ microcode

gui-vp

GUI-VP is a greatly extended and improved open-source RISC-V VP that enables the simulation of interactive graphical Linux applications.

gui-vp_kit

Quick-to-create and easy-to-use platform for experimentation with Linux on the open-source SystemC RISC-V based virtual prototype GUI-VP

instruction-decoder

mt-graphlib-framework

pylibfst

Handle Fast Signal Traces (fst) in Python

riscv-vp-plusplus

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 for Complex Systems, Johannes Kepler University, Linz.

rvvradar

RVVRadar is a framework to support the programmer over the four major steps of development, verification, measurement and evaluation during the vectorization process of algorithms for the RISC-V Vector extension (RVV).

spinalfuzz

Fuzzing for SpinalHDL

venus

RISC-V instruction set simulator built for education

wal

WAL enables programmable waveform analysis.