Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction. - Daniel Große; Markus Groß 002; Ulrich Kühne; Rolf Drechsler (MBMV, 2011)