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

Mehran Goli, Jannis Ulrich Stoppe, Rolf Drechsler

In: 35th IEEE International Conference on Computer Design (ICCD). IEEE International Conference on Computer Design (ICCD-35) 35th November 5-8 Boston MA United States 2017.


The increasing complexity of todays digital circuitdesigns led to the increased usage of abstract models. In partic-ular, theElectronic System Level(ESL) has emerged as an areaof active research. For ESL design, SystemC and itsTransactionLevel Modeling(TLM) framework have become the standardtools for abstract modeling. The resulting models representboth, an executable specification and a reference model for thehardware design. The correctness of these designs is importantas undetected errors may propagate to less abstract levels in thedesign process, increasing the potential amount of work requiredto fix them.To quickly ensure that implementations and reference emitthe same behavior, the comparison between these abstractionsneeds to be both, flexible and automated. This paper presents amethod to verify the simulation behavior of a given System TLM-2.0 design against TLM-2.0 protocols. The system’s structuraldescription and its run-time behavior are translated to a single,consistent formal model. This is then used to verify that a simu-lation run adheres to a given protocol. The protocol compliancechecks are performed using the UPPAAL model checker andapplied to several TLM models.


Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence