Verifying SystemC TLM peripherals using modern C++ symbolic execution tools.

Pascal Pieper Vladimir Herdt Daniel Große Rolf Drechsler

Published in: DAC (2022)

Keyphrases

symbolic execution
static analysis
specification language
test data generation
case study
test generation
genetic programming
evolutionary algorithm
distributed systems
model checking