agra-uni-bremen

riscv-vp

RISC-V Virtual Prototype

crave

Constrained random stimuli generation for C++ and SystemC

microrv32

SpinalHDL based, FPGA Suitable RTL Implementation of RISC-V RV32. Aligned with RISC-V Virtual Prototype

BinSym

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

symex-vp

A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

virtual-breadboard

Virtual Breadboard / PCB simulation for Prototyping and Educational Purposes

symex_processor_verification

libriscv

Extensible implementation of the RISC-V ISA based on FreeMonads

opt-vp

Virtual Prototype for identifying Application Specific Hardware Optimization candidates

sifive-hifive1

This Repo contains documentation to the HiFive1 Board along with some example programs.

SymSysC

Symbolic Execution of SystemC TLM Peripherals

opt-seq

An algorithm to merge RISC-V instruction sequences

clover

A library for concolic execution of RV32 instruction set simulators

formal-iss

Generate an ISS for riscv-vp from a formal LibRISCV ISA model

virtual-bus

Simple protocol to connect two memory mapped buses (e.g. for Hardware In The Loop)

vp-integration-tests

Tests for peripherals and other utilities of the riscv-vp

hardbound-vp

Virtual Prototype with symbolic execution support and HardBound path analyzer

guix-symex

A Guix channel for reproducible symbolic execution research

icee2022-magic-adder-lib

Artifacts of the paper: "Investigating Various Adder Architectures for Digital In-Memory Computing Using MAGIC-Based Memristor Design Style"

JxCDC2022-imagin-add

libriscv-vp

RISC-V Virtual Prototype with ISS generated from LibRISCV

newcas2023-magic-multiplier-lib

spike-libriscv

Spike RISC-V simulator but with a autogenerated LibRISCV backend

sps

Scheme library to specify network protocol state machines

sps-vp

Fork of SymEx-VP for specification-based symbolic execution of stateful network protocol implementations via SPS protocol specifications

symsysc-experiments

Experiments and DUTs for SymSysC repo

systemc

SystemC Reference Implementation

tcasii2022-maradiv-lib

virtual-breadboard-protocol

Protocol definitions for SoC Environment simultations.

vlsid2024-inputaware-approxadders-magic