@inproceedings{5a21170a9c154384972f20cb3bcf5320,
title = "Validating SystemC implementations against their formal specifications",
abstract = "The ever increasing complexity of embedded systems leads to a constant strive for higher levels of abstraction. While the design at the Electronic System Level (ESL) with SystemC as the common programming language is state-of-theart today, also the use of formal specifications by means of modeling languages such as UML or SysML receives more and more attention. This raises the question of how to validate an ESL implementation against a given formal specification. For this, SystemC's limited introspection and reflection features pose a serious obstacle. In this paper, a methodology is presented that retrieves the necessary static and dynamic information which is needed in order to validate a SystemC design. For this purpose, we retrieve information from the SystemC API and compiler-generated debug symbols. The proposed solution can be applied to a wide variety of project setups and requires only minimal adjustments to retrieve the necessary information.",
keywords = "Equivalence, SysML, SystemC, UML, Validation",
author = "Jannis Stoppe and Robert Wille and Rolf Drechsler",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 27th Symposium on Integrated Circuits and Systems Design, SBCCI 2014 ; Conference date: 01-09-2014 Through 05-09-2014",
year = "2014",
month = dec,
day = "19",
doi = "10.1145/2660540.2660981",
language = "English",
series = "SBCCI 2014: Proceedings of the 27th Symposium on Integrated Circuits and Systems Design",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "SBCCI 2014",
}