Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications.

Mehran Goli, Jannis Stoppe, Rolf Drechsler

Browse the full DATE paper archive.