@inproceedings{Gö2012,Author = {Görgen, Ralph and Kleen, Henning and Oetjens, Jan-Hendrik and Jores, Peter and Nebel, Wolfgang},Title = {SystemC Based Verification of Complex Heterogeneous Systems},Year = {2012},Month = {04},Publisher = {Fraunhofer Verlag},Isbn = {978-3-8396-0398-7},Booktitle = {CPMNS Tagungsband},Organization = {ITG/GI/GMM},type = {inproceedings},note = {This paper presents an industrial verification flow for heterogeneous electronic hardware components. The verification process is described with the help of the SystemC AMS model of a current controller, which is part of an automotive anti-lock breaking s},Abstract = {This paper presents an industrial verification flow for heterogeneous electronic hardware components. The verification process is described with the help of the SystemC AMS model of a current controller, which is part of an automotive anti-lock breaking system. To enable the verification of heterogeneous designs, an existing SystemC based framework is extended to support mixed-signal test-bench modules implemented in SystemC AMS. Additionally, a concept to re-use digital test-bench modules for TLM and RTL verification is shown. }}@COMMENT{Bibtex file generated on }