References

  1. SystemC AMS Proof-of-Concept Download. http://www.coseda-tech.com/systemc-ams-proof-of-concept. Accessed: 2017-03-21.
  2. Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li & Larry Pileggi (2011): Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization. In: IEEE/ACM International Conference on Computer Aided Design (ICCAD), pp. 659–666, doi:10.1145/2507771.2507783.
  3. R. Alur, C. Coucoubetis, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis & S. Yovine (1995): The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
  4. Saswat Anand, Patrice Godefroid & Nikolai Tillmann (2008): Demand-Driven Compositional Symbolic Execution. In: C.R. Ramakrishnan & Jakob Rehof: Tools and Algorithms for the Construction and Analysis of Systems LNCS 4963. Springer Berlin Heidelberg, pp. 367–381, doi:10.1007/978-3-540-78800-3_28.
  5. Erich Barke, Andreas Fürtig, Georg Gläser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Eckhard Hennig, Hyan-Sek Lukas Lee, Wolfgang Nebel, Gregor Nitsche, Markus Olbrich, Carna Radojicic & Fabian Speicher (2016): Embedded Tutorial: Analog-/Mixed-Signal Verification Methods for AMS Coverage Analysis. In: Design, Automation & Test in Europe Conference & Exhibition (DATE'16), pp. 1102–1111, doi:10.3850/9783981537079_1010.
  6. Martin Barnasconi, Karsten Einwich, Christoph Grimm & Alain Vachoux (2013): Standard SystemCAMS extensions 2.0 Language Reference Manua. OSCI. Available at http://accellera.org.
  7. Randal E. Bryant (1986): Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35(8), pp. 677–691, doi:10.1109/TC.1986.1676819.
  8. Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann & Boris Wirtz (2006): Automatic Verification of Hybrid Systems with Large Discrete State Space. In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, pp. 276–291, doi:10.1007/11901914_22.
  9. Fang Fang, Tsuhan Chen & Rob. A. Rutenbar (2002): Floating-Point Bit-Width Optimization for Low-Power Signal Processing Applications. In: IEEE International Conference on Acoustic, Speech and Signal Processing 3, pp. 3208–3211, doi:10.1109/ICASSP.2002.5745332.
  10. Luiz Henrique De Figueiredo & Jorge Stolfi (2004): Affine Arithmetic: Concepts and Applications. Numerical Algorithms 37(1-4), pp. 147–158, doi:10.1023/B:NUMA.0000049462.70970.b6.
  11. Antoine Girard (Springer, 2005): Hybrid Systems: Computation and Control, chapter Reachibility of Uncertain Linear Systems Using Zonotopes, pp. 291–305 LNCS 3414, doi:10.1007/978-3-540-31954-2_19.
  12. Christoph Grimm, Wilhelm Heupke & Klaus Waldschmidt (2005): Analysis of mixed-signal systems with affine arithmetic. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 24(1), pp. 118–123, doi:10.1109/TCAD.2004.839469(410) 24.
  13. Christoph Grimm & Michael Rathmair (2017): Invited: Dealing with Uncertainties in Analog/Mixed-Signal Systems. In: Proceedings of the 54th Design Automation a Conference, 2017, pp. 1–6.
  14. Axel Jantsch (2003): Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
  15. Axel Jantsch & Ingo Sander (2005): Models of computation and languages for embedded system design. Computers and Digital Techniques, IEE Proceedings - 152(2), pp. 114–129, doi:10.1049/ip-cdt:20045098.
  16. Jinseong Jeon, Kristopher K. Micinski & Jeffrey S. Foster (2012): SymDroid: Symbolic Execution for Dalvik Bytecode. Technical Report CS-TR-5022. Department of Computer Science, University of Maryland, College Park.
  17. Gilles Kahn (1974): The semantics of simple language for parallel programming. In: Proceedings IFIP74. North-Holland, Amsterdam, pp. 471–475.
  18. Colas Le Guernic & Antoine Girard (2009): Reachability Analysis of Hybrid Systems Using Support Functions, pp. 540–554. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-642-02658-4_40.
  19. E. A. Lee & A. Sangiovanni-Vincentelli (2006): A Framework for Comparing Models of Computation. Trans. Comp.-Aided Des. Integ. Cir. Sys. 17(12), pp. 1217–1229, doi:10.1109/43.736561.
  20. E.A. Lee (2008): Cyber Physical Systems: Design Challenges. In: Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on, pp. 363–369, doi:10.1109/ISORC.2008.25.
  21. Markus Olbrich & Erich Barke (2008): Distribution Arithmetic for Stochastical Analysis. In: Proceedings of the 2008 Asia and South Pacific Design Automation Conference, ASP-DAC '08. IEEE Computer Society Press, Los Alamitos, CA, USA, pp. 537–542, doi:10.1109/ASPDAC.2008.4484009. Available at http://dl.acm.org/citation.cfm?id=1356802.1356932.
  22. Sylvie Putot (2013): Lecture Notes, Digicosme Spring school 2013: Static Analysis of Numerical Programs and Systems. MEASI Laboratory, CEA LIST.
  23. Carna Radojicic & Christoph Grimm (2016): Formal Verification of Mixed-Signal Designs Using Extended Affine Arithmetic. In: 12th Conference on PhD Research in Microelectronics and Electronics, doi:10.1109/PRIME.2016.7519482.
  24. Carna Radojicic, Christoph Grimm, Florian Schupfer & Michael Rathmair (2013): Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design 2013, doi:10.1155/2013/239064.
  25. Alain Vachoux, Karsten Einwich & Christoph Grimm (2005): Extending SystemC to support mixed discrete-continuous system modeling and simulation. In: International Symposion on Circuits and Systems 2005 (ISCAS '05). IEEE, doi:10.1109/ISCAS.2005.1465798.
  26. Warren E Walker, Poul Harremoës, Jan Rotmans, Jeroen P van der Sluijs, Marjolein BA van Asselt, Peter Janssen & Martin P Krayer von Krauss (2003): Defining uncertainty: a conceptual basis for uncertainty management in model-based decision support. Integrated assessment 4(1), pp. 5–17, doi:10.1076/iaij.4.1.5.16466.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org