Projects

Updated 6 months ago

verilator • Rank 15.3 • Science 54%

Verilator open-source SystemVerilog simulator and lint system

compilers cpp rtl system-verilog systemc verilator verilog verilog-simulator

Updated 5 months ago

https://github.com/agra-uni-bremen/hardbound-vp • Science 13%

Virtual Prototype with symbolic execution support and HardBound path analyzer

hardbound memory-safety symbolic-execution systemc virtual-prototyping

Updated 6 months ago

symex-vp • Science 65%

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

concolic-execution concolic-testing klee risc-v riscv riscv32 symbolic-execution systemc

Updated 5 months ago

https://github.com/agra-uni-bremen/fdl21-stackuse-vp • Science 13%

Fork of riscv-vp for the FDL21 paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes

hifive1 riot risc-v systemc

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

verilator • Rank 15.3 • Science 54%

https://github.com/agra-uni-bremen/hardbound-vp • Science 13%

symex-vp • Science 65%

https://github.com/agra-uni-bremen/fdl21-stackuse-vp • Science 13%