Monitoring temporal SystemC properties

  title={Monitoring temporal SystemC properties},
  author={Deian Tabakov and Moshe Y. Vardi},
  journal={Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)},
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal specifications. In this work we describe a temporal monitoring framework for the SystemC specification language defined by Tabakov et al. at FMCAD'08. Our framework uses a very minimal modification of the SystemC kernel, exposing event notifications and simulation phases. The user code is instrumented to allow… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 27 extracted citations

Formal Verification of Probabilistic SystemC Models with Statistical Model Checking

Journal of Software: Evolution and Process • 2018
View 4 Excerpts
Highly Influenced

Statistical Model Checking for SystemC Models

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) • 2016
View 5 Excerpts
Highly Influenced

Diagnosing root causes of system level performance violations

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) • 2013
View 9 Excerpts
Highly Influenced

Towards fully automated TLM-to-RTL property refinement

2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2018

Assertion-Based Verification for SoC Models and Identification of Key Events

2017 Euromicro Conference on Digital System Design (DSD) • 2017
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 19 references

System Design with SystemC

T. Grotker, S. Liao, G. Martin, S. Swan
View 4 Excerpts
Highly Influenced

A Temporal Language for SystemC

2008 Formal Methods in Computer-Aided Design • 2008

Predictive runtime verification of multi-processor SoCs in SystemC

2008 45th ACM/IEEE Design Automation Conference • 2008
View 1 Excerpt

Race analysis for SystemC using model checking

2008 IEEE/ACM International Conference on Computer-Aided Design • 2008
View 1 Excerpt

Verification Methodologies in a TLM-to-RTL Design Flow

2007 44th ACM/IEEE Design Automation Conference • 2007
View 2 Excerpts

A Practical Introduction to PSL

Series on Integrated Circuits and Systems • 2006

Formal Verification of SystemC Designs Using a Petri-Net Based Representation

Proceedings of the Design Automation & Test in Europe Conference • 2006

Similar Papers

Loading similar papers…