Symbolic Execution of SystemC TLM Peripherals

This is a Mini-Kernel, designed to replace (parts of) the SystemC TLM kernel and optimized for symbolic execution frameworks, especially like klee. It is the experimental proof-of-concept of this paper.

How to test:

$ ./make.sh # optional
$ ./run_all_tests.sh

How to run Dockerimage

make docker-build
make docker

How to use Dockerimage

source setup.sh
./make.sh
./source/run_all_tests.sh

How to verilate

verilator --Mdir hash --sc -LDFLAGS -Wno-attributes -Wno-WIDTH -Wno-UNOPTFLAT -Wno-CMPCONST -Wno-UNSIGNED peripherals/SBTaskHash.v