nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

AADD-Based Symbolic Simulation of SystemC AMS

verfasst von : Carna Zivkovic, Christoph Grimm

Erschienen in: Languages, Design Methods, and Tools for Electronic System Design

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Traditional modeling languages and simulators are still separated from formal verification languages and tools. The main reason for this is that formal verification algorithms require a formal model of a system to verify its behavior. However, the automatic generation of such model requires a separate, dedicated compiler. This paper shows an approach how to use the existing simulator to generate a formal model of a system without using yet another compiler, intermediate language or tool. The approach is based on generation of AADD and BDD for symbolic simulation and it is integrated in SystemC AMS modeling language and simulator.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Extensible and Configurable RISC-V Based Virtual Prototype

Nächstes Kapitel Blech, Imperative Synchronous Programming!

Ball, T., & Daniel, J. (2014). Deconstructing dynamic symbolic execution. In Proceedings of the 2014 Marktoberdorf Summer School on Dependable Software Systems Engineering. https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/dse.pdf.

Bryant, R. E. (1986). Graph-based algorithms for boolean function manipulation. IEEE Transactions on Communications, 35(8), 677–691. http://dx.doi.org/10.1109/TC.1986.1676819.CrossRef

Grabowski, D., Grimm, C., & Barke, E. (2006). Semi-symbolic modeling and simulation of circuits and systems. In IEEE International Symposium on Circuits and Systems (ISCAS) (pp. 983–986). Washington: IEEE. https://doi.org/10.1109/ISCAS.2006.1692752. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1692752.

Grimm, C., Heupke, W., & Waldschmidt, K. (2005). Analysis of mixed-signal systems with affine arithmetic. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 24(1), 118–123. https://doi.org/10.1109/TCAD.2004.839469(410)24. https://ieeexplore.ieee.org/document/1372667/.

Grimm, C., & Rathmair, M. (2017). Dealing with uncertainties in analog/mixed-signal systems: Invited. In Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, 18–22 June 2017 (pp. 35:1–35:6). https://doi.org/10.1145/3061639.3072949. http://doi.acm.org/10.1145/3061639.3072949.

Große, D., Le, H. M., & Drechsler, R. (2010). Proving transaction and system-level properties of untimed SystemC TLM designs. In Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE ’10 (pp. 113–122). Washington: IEEE Computer Society. https://doi.org/10.1109/MEMCOD.2010.5558643.

Herber, P., Fellmuth, J., & Glesner, S. (2008). Model checking SystemC designs using timed automata. In Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS ’08 (pp. 131–136). New York: ACM. http://doi.acm.org/10.1145/1450135.1450166.CrossRef

Kaushik, A., & Patel, H. D. (2013). Systemc-clang: An open-source framework for analyzing mixed-abstraction SystemC models. In Proceedings of the 2013 Forum on Specification and Design Languages, FDL 2013, Paris, 24–26 September 2013 (pp. 1–8). http://ieeexplore.ieee.org/document/6646649/.

Le, H. M., Große, D., Herdt, V., & Drechsler, R. (2013). Verifying SystemC using an intermediate verification language and symbolic simulation. In 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC) (pp. 1–6). https://doi.org/10.1145/2463209.2488877. http://ieeexplore.ieee.org/document/6560709/.

10.

Marchetti, A. Hyperlinked c++ BNF grammar. http://www.nongnu.org/hcb.

11.

Marquet, K., & Moy, M. (2010). Pinavm: A systemc front-end based on an executable intermediate representation. In Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT ’10 (pp. 79–88). New York: ACM. http://doi.acm.org/10.1145/1879021.1879032.CrossRef

12.

Marquet, K., Moy, M., & Karkar, B. (2009). A theoretical and experimental review of systemc front-ends. In Forum on Specification and Design Languages 2009. https://doi.org/10.1049/ic.2010.0140. https://hal.archives-ouvertes.fr/hal-00495886.

13.

Radojicic, C., Grimm, C., Jantsch, A., & Rathmair, M. (2017). Towards verification of Uncertain Cyber-Physical systems. Electronic Proceedings in Theoretical Computer Science, 247, 1–17. https://doi.org/10.4204/eptcs.247.1. https://doi.org/10.4204.

14.

Radojicic, C., Grimm, C., Schupfer, F., & Rathmair, M. (2013). Verification of mixed-signal systems with affine arithmetic assertions. VLSI Design, 2013, 14. http://dx.doi.org/10.1155/2013/239064.MathSciNetCrossRef

15.

Sammane, G. A., Zaki, M. H., Tahar, S., & Bois, G. (2007). Constraint-Based verification of delta-sigma modulators using interval analysis. In 50th Midwest Symposium on Circuits and Systems (pp. 726–729).

16.

Sen, K., Marinov, D., & Agha, G. (2005). Cute: A concolic unit testing engine for C. In Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-13, pp. 263–272. New York: ACM. http://doi.acm.org/10.1145/1081706.1081750.

17.

Stolfi, J., & de Figueiredo, L. H. (2003). An introduction to affine arithmetic. TEMA Tendências em Matemática Aplicada e Computacional, 4, 297–312. https://tema.sbmac.org.br/tema/article/view/352.MathSciNetCrossRef

18.

Zivkovic, C., & Grimm, C. (2018). Symbolic simulation of SystemC AMS without yet another compiler. In Forum on Specification and Design Languages 2018, pp. 5–16.

19.

Zivkovic, C., & Grimm, C. (2019). Nubolic simulation of AMS systems with data flow and discrete event models. In DATE 2019, Accepted for a Long Presentation; To be Presented in March 2019

Titel: AADD-Based Symbolic Simulation of SystemC AMS
verfasst von: Carna Zivkovic
Christoph Grimm
Verlag: Springer International Publishing
Buch: Languages, Design Methods, and Tools for Electronic System Design
Print ISBN: 978-3-030-31584-9

Electronic ISBN: 978-3-030-31585-6

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-31585-6_8

Neuer Inhalt

Bildnachweise

VDI-Icon, Profil Icon, inhalt2, Springer Professional Modul/© Springer Fachmedien Wiesbaden GmbH, Nachhaltigkeitsaward Key Visual/© Cometis AG/Global ESG Monitor | Daniel Rupp | Generiert mit KI, Search Icon, Banner Hanser, Jonas Klose/© Pine Valley Capital GmbH, Carina Kießling von der Strategieberatung Roland Berger/© Monika Walther Fotografie | ATZ, Beijing Auto Show 2024: Deutsche Hersteller wollen angreifen./© EKH-Pictures / Generated with AI / Stock.adobe.com, Zeitschrift Wissensmanagement Cover, PatentFit-Logo/© Springer Fachmedien Wiesbaden GmbH, Zukunftswerkstatt Sales Excellence 2024/© AndreyPopov / Getty Images / iStock, 2023_Antrieb/© supervisuell, ATZ-Webinar: Prototypenfreie Entwicklung durch Offline- und Driver-in-the-Loop-HiL-Tests /© (c) VI-grade

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Neuer Inhalt

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.