Towards a Unified Execution Model for Transactions in TLM

Niemann, Bernhard; Haubelt, Christian

doi:10.1109/memcod.2007.371237

Cited by 6 publications

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We adopt the terminology of the SystemC TLM group for our work but give a more precise definition of the layers based on Niemann's and Haubelt' s concept of atomic transactions [4]: At the PV and PV+T layers, a bus transfer is modelled as a single transaction; at CA layer, a transfer is modelled with at least one transaction per bus cycle, and at CX layer(s) with more transactions than PV(+T) but less than CA.…”

Section: Related Workmentioning

confidence: 99%

Accuracy-Adaptive Simulation of Transaction Level Models

Radetzki

Khaligh

2008

2008 Design, Automation and Test in Europe

View full text Add to dashboard Cite

Simulation oftransaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platform simulation for design space exploration, and reference modelling for verification. The different use cases mandate different trade-offs between simulation performance and accuracy. Therefore, multiple TLM abstraction layers have been defined ofwhich one has to be chosen and integrated into the system modelprior to simulation. In this contribution we present a modelling technique that allows covering several layers in a single model and switching between the layers at any time, in particular dynamically during simulation. This feature is employed to automatically adapt simulation accuracy to an appropriate level depending on the model's state, leading to an improved trade-off between simulation performance and accuracy.

show abstract

Section: Related Workmentioning

confidence: 99%

Accuracy-Adaptive Simulation of Transaction Level Models

Radetzki

Khaligh

2008

2008 Design, Automation and Test in Europe

View full text Add to dashboard Cite

show abstract

“…For instance, [21] presents the modeling of an on-chip bus protocol in LOTOS at TLM level. Seeking more generality, [15] gives first a formal definition of what a transaction should be (according to criteria applying to transactions in databases) and then derives guidelines how to implement complying transactions in SystemC, considering the SystemC scheduler specificities. Our approach is just the opposite: we start from a SystemC implementation of a TLM model and translate it into a formal language.…”

Section: Related Workmentioning

confidence: 99%

A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS

Ponsini

Serwe

Lecture Notes in Computer Science

View full text Add to dashboard Cite

TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used for system-level functional testing and simulation using the SystemC C++ API widely accepted in industry. Nevertheless, TLM requires a careful handling of asynchronous concurrency. In this paper, we give a semantics to TLM models written in SystemC via a translation into the process algebra LOTOS, enabling the verification of the models with the CADP toolbox dedicated to asynchronous systems. Contrary to other works on formal verification of TLM models written in SystemC, our approach targets fully asynchronous TLM without the restrictions imposed by the Sys-temC simulation semantics. We argue that this approach leads to more dependable models.

show abstract

Adaptive Interconnect Models for Transaction-Level Simulation

Khaligh

Radetzki²

2009

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

Towards a Unified Execution Model for Transactions in TLM

Cited by 6 publications

References 9 publications

Accuracy-Adaptive Simulation of Transaction Level Models

Accuracy-Adaptive Simulation of Transaction Level Models

A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS

Adaptive Interconnect Models for Transaction-Level Simulation

Contact Info

Product

Resources

About