direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content


Combining Model Checking and Testing in a Continuous HW/SW Co-Verification Process
Citation key Herber2009
Author Paula Herber and Florian Friedemann and Sabine Glesner
Title of Book 3rd International Conference on Tests and Proofs (TAP'09)
Pages 121-136
Year 2009
ISBN 978-3-642-02948-6
Volume LNCS
Number 5668
Editor Catherine Dubois
Publisher Springer
Abstract 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.
Bibtex Type of Publication Conference Article
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe