Title: Complete Symbolic Simulation of SystemC Models
Subjects: Computer software, verification