Top

previous chapter Extensible and Configurable RISC-V Based Virtua...

next chapter Blech, Imperative Synchronous Programming!

Hint

Swipe to navigate through the chapters of this book

2020 | OriginalPaper | Chapter

AADD-Based Symbolic Simulation of SystemC AMS

Read first chapter

Authors: Carna Zivkovic, Christoph Grimm

Publisher: Springer International Publishing

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

» Get access to the full-text

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.

Please log in to get access to this content

To get access to this content you need the following product:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

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

über 69.000 Bücher
über 500 Zeitschriften

aus folgenden Fachgebieten:

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

Testen Sie jetzt 30 Tage kostenlos.

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 50.000 Bücher
über 380 Zeitschriften

aus folgenden Fachgebieten:

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

Testen Sie jetzt 30 Tage kostenlos.

inform now

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

Title

AADD-Based Symbolic Simulation of SystemC AMS

Book

Languages, Design Methods, and Tools for Electronic System Design

Print ISBN: 978-3-030-31584-9

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

https://doi.org/10.1007/978-3-030-31585-6

DOI

https://doi.org/10.1007/978-3-030-31585-6_8

Authors:

Carna Zivkovic
Christoph Grimm

Publisher

Springer International Publishing

Sequence number