Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata.

Mehran Goli, Jannis Stoppe, Rolf Drechsler

Browse the full ICCD paper archive.