Top

Hint

Swipe to navigate through the chapters of this book

Published in:

Read chapter Read first chapter

2020 | OriginalPaper | Chapter

AADD-Based Symbolic Simulation of SystemC AMS

Authors : Carna Zivkovic, Christoph Grimm

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

Publisher: Springer International Publishing

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.

previous chapter Extensible and Configurable RISC-V Based Virtual Prototype

next chapter 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

Title: AADD-Based Symbolic Simulation of SystemC AMS
Authors: Carna Zivkovic
Christoph Grimm
Publisher: Springer International Publishing
Book: Languages, Design Methods, and Tools for Electronic System Design
Print ISBN: 978-3-030-31584-9

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

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

Springer Professional

Hint

Swipe to navigate through the chapters of this book

Abstract

Please log in to get access to this content