http://www.coseda-tech.com/systemc-ams-proof-of-concept Accessed: 2017-03-21 Matthias Althoff Akshay Rajhans Bruce H. Krogh Soner Yaldiz Xin Li Larry Pileggi 2011 IEEE/ACM International Conference on Computer Aided Design (ICCAD) 659–666 10.1145/2507771.2507783 R. Alur C. Coucoubetis T.A. Henzinger P.-H. Ho X. Nicollin A. Olivero J. Sifakis S. Yovine 1995 Theoretical Computer Science 138 3–34 10.1016/0304-3975(94)00202-T Saswat Anand Patrice Godefroid Nikolai Tillmann 2008 C.R. Ramakrishnan Jakob Rehof Tools and Algorithms for the Construction and Analysis of Systems LNCS 4963 Springer Berlin Heidelberg 367–381 10.1007/978-3-540-78800-3_28 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 Design, Automation & Test in Europe Conference & Exhibition (DATE'16) 1102–1111 10.3850/9783981537079_1010 Martin Barnasconi Karsten Einwich Christoph Grimm Alain Vachoux 2013 OSCI http://accellera.org Randal E. Bryant 1986 IEEE Transactions on Computers C-35 8 677–691 10.1109/TC.1986.1676819 Werner Damm Stefan Disch Hardi Hungar Jun Pang Florian Pigorsch Christoph Scholl Uwe Waldmann Boris Wirtz 2006 Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006 276–291 10.1007/11901914_22 Fang Fang Tsuhan Chen Rob. A. Rutenbar 2002 IEEE International Conference on Acoustic, Speech and Signal Processing 3 3208–3211 10.1109/ICASSP.2002.5745332 Luiz Henrique De Figueiredo Jorge Stolfi 2004 Numerical Algorithms 37 1-4 147–158 10.1023/B:NUMA.0000049462.70970.b6 Antoine Girard Springer, 2005 Reachibility of Uncertain Linear Systems Using Zonotopes 291–305 LNCS 3414 10.1007/978-3-540-31954-2_19 Christoph Grimm Wilhelm Heupke Klaus Waldschmidt 2005 Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 24 1 118–123 10.1109/TCAD.2004.839469(410) 24 Christoph Grimm Michael Rathmair 2017 Proceedings of the 54th Design Automation a Conference, 2017 1–6 Axel Jantsch 2003 Morgan Kaufmann Publishers Inc.

San Francisco, CA, USA

Axel Jantsch Ingo Sander 2005 Computers and Digital Techniques, IEE Proceedings - 152 2 114–129 10.1049/ip-cdt:20045098 Jinseong Jeon Kristopher K. Micinski Jeffrey S. Foster 2012 Technical Report CS-TR-5022 Department of Computer Science, University of Maryland, College Park Gilles Kahn 1974 Proceedings IFIP74 North-Holland, Amsterdam 471–475 Colas Le Guernic Antoine Girard 2009 540–554 Springer Berlin Heidelberg

Berlin, Heidelberg

10.1007/978-3-642-02658-4_40 E. A. Lee A. Sangiovanni-Vincentelli 2006 Trans. Comp.-Aided Des. Integ. Cir. Sys. 17 12 1217–1229 10.1109/43.736561 E.A. Lee 2008 Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on 363–369 10.1109/ISORC.2008.25 Markus Olbrich Erich Barke 2008 Proceedings of the 2008 Asia and South Pacific Design Automation Conference ASP-DAC '08 IEEE Computer Society Press

Los Alamitos, CA, USA

537–542 10.1109/ASPDAC.2008.4484009 http://dl.acm.org/citation.cfm?id=1356802.1356932 Sylvie Putot 2013 MEASI Laboratory, CEA LIST Carna Radojicic Christoph Grimm 2016 12th Conference on PhD Research in Microelectronics and Electronics 10.1109/PRIME.2016.7519482 Carna Radojicic Christoph Grimm Florian Schupfer Michael Rathmair 2013 VLSI Design 2013 10.1155/2013/239064 Alain Vachoux Karsten Einwich Christoph Grimm 2005 International Symposion on Circuits and Systems 2005 (ISCAS '05) IEEE 10.1109/ISCAS.2005.1465798 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 Integrated assessment 4 1 5–17 10.1076/iaij.4.1.5.16466