direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments


Combining Model Checking and Testing in a Continuous HW/SW Co-Verification Process
Zitatschlüssel Herber2009
Autor Paula Herber and Florian Friedemann and Sabine Glesner
Buchtitel 3rd International Conference on Tests and Proofs (TAP'09)
Seiten 121-136
Jahr 2009
ISBN 978-3-642-02948-6
Jahrgang LNCS
Nummer 5668
Herausgeber Catherine Dubois
Verlag Springer
Zusammenfassung SystemC is widely used for modeling and simulation in HW/SW co-design. However, the co-verification techniques used for SystemC designs are mostly ad-hoc and non-systematic. In this paper, we present an approach to overcome this problem by a systematic, formally founded quality assurance process. Based on a combination of model checking and conformance testing, we obtain a HW/SW co-verification flow that supports HW/SW co-development throughout the whole design process. In addition, we present a novel test algorithm that generates conformance tests for SystemC designs offline and that can cope with non-deterministic systems. To this end, we use a timed automata model of the SystemC design to compute expected simulation or test results. We have implemented the model checking and conformance testing framework and give experimental results to show the applicability of our approach.
Typ der Publikation Conference Article
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe