Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation | IEEE Journals & Magazine | IEEE Xplore