Symbolic Execution of SystemC TLM Peripherals - View it on GitHub