Text this: Complete Symbolic Simulation of SystemC Models