A TLM2.0 assertion library with centralized monitoring approach

Ghofrani, Amirali; Abolmaali, Sheis; Haghi, Zahra Najafi; Navabi, Zainalabedin

doi:10.1109/ewdts.2010.5742074

Search citation statements

Order By: Relevance

Paper Sections

Select...

Paper1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several works, such as [20][21][22], among others, use this approach to perform systemlevel verification. Other works use the same approach to perform tracking/snooping of the transactions interchanged between TLM modules, for example [23,24]. Assertions are usually written in specific languages such as Property Specification Language (PSL) and they must be translated to specific assertion code that must be placed in between the transaction's initiators and targets.…”

Section: Papermentioning

confidence: 99%

Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation

Silva

Parra

Polo

et al. 2014

Modelling and Simulation in Engineering

View full text Add to dashboard Cite

This paper presents the design of a SystemC transaction level modelling wrapping library that can be used for the assertion of system properties, protocol compliance, or fault injection. The library uses C++ virtual table hooks as a dynamic binary instrumentation technique to inline wrappers in the TLM2 transaction path. This technique can be applied after the elaboration phase and needs neither source code modifications nor recompilation of the top level SystemC modules. The proposed technique has been successfully applied to the robustness verification of the on-board boot software of the Instrument Control Unit of the Solar Orbiter’s Energetic Particle Detector.

show abstract