Explore @agra-uni-bremen Open Source projects

@agra-uni-bremen

agra-uni-bremen

Stars
403
Global Org. Rank 27,201 (Top 9 %)
Registered over 12 years ago
Most used languages

C++
43.5 %

Java
17.4 %

Haskell
13.0 %

C
8.7 %

Shell
8.7 %

Scheme
4.3 %

Scala
4.3 %

metaSMT

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

crave-bundle

Constrained random stimuli generation for C++ and SystemC

libriscv

Extensible implementation of the RISC-V ISA based on FreeMonads

dependencies

virtual-breadboard

Virtual Breadboard / PCB simulation for Prototyping and Educational Purposes

symex_processor_verification

opt-vp

Virtual Prototype for identifying Application Specific Hardware Optimization candidates

SymSysC

Symbolic Execution of SystemC TLM Peripherals

BioViz

sifive-hifive1

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

verilog2GEXF

JAVA based verilog to Graph Exchange XML Format translator

lips

Eclipse based IDE that focuses on natural language processing tasks

opt-seq

An algorithm to merge RISC-V instruction sequences

clover

A library for concolic execution of RV32 instruction set simulators

vp-integration-tests

Tests for peripherals and other utilities of the riscv-vp

formal-iss

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

sisl

Scheme-based Input Specification language for Concolic Testing

sisl-vp

Enhanced version of SymEx-VP with support for SISL, a input specification language for concolic testing

revvis

An interactive visualization engine for reversible circuits