Automated conformance evaluation of SystemC designs using timed automata.

Paula Herber, Marcel Pockrandt, Sabine Glesner

Browse the full ETS paper archive.