Efficient Monitoring of Loose-Ordering Properties for SystemC/TLM

Abstract : SystemC Transaction-level modeling (TLM) provides high-level component-based models for SoCs, for which assertion-Based-Verification (ABV) allows property checking early in the design cycle. We introduce the notion of loose-ordering to specify when components interact with each other and we propose a set of patterns to capture this notion in assertions. This new notion can already be expressed in languages like PSL, for which there exist tools to generate ABV monitors. But the definition of dedicated patterns makes it easier to write the properties. Moreover we define a direct translation of these patterns into SystemC monitors, and we show that it avoids the combinatorial explosion that would occur during a prior translation into PSL.
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

http://hal.univ-grenoble-alpes.fr/hal-01243246
Contributor : Florence Maraninchi <>
Submitted on : Monday, December 14, 2015 - 5:03:43 PM
Last modification on : Friday, July 6, 2018 - 10:08:02 AM
Long-term archiving on : Saturday, April 29, 2017 - 1:33:52 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01243246, version 1

Collections

Citation

Yuliia Romenska, Florence Maraninchi. Efficient Monitoring of Loose-Ordering Properties for SystemC/TLM. Design, Automation, and Test in Europe (DATE), Mar 2016, Dresden, Germany. ⟨hal-01243246⟩

Share

Metrics

Record views

510

Files downloads

285