@inproceedingsGö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. } @COMMENTBibtex file generated on