COSEDA Technologies Publications

Find valuable resources recommended by COSEDA Technologies:

Küster, Alexandra, Dorsch, Rainer, Haubelt, Christian, Einwich, Karsten, 2022. Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors, in: Proceedings of the Forum on Specification & Design Languages (FDL 2022). Presented at the Forum on specification & Design Languages, Linz, Austria.

Hassan, Muhammad, Vörtler, Thilo, Einwich, Karsten, Drechsler, Rolf, Große, Daniel, 2022. Towards System-level Assertions for Heterogeneous Systems. Presented at the 15th International Workshop on Boolean Problems, Bremen.

Vuletic, R., Selvaraj,Dineshkumar, Arndt, Thomas, 2021. Virtual Prototyping of Power Converter Systems based on AURIXTM using SystemC AMS. Presented at the DVCon Europe. (https://dvcon-proceedings.org/wp-content/uploads/virtual-prototyping-of-power-converter-systems-based-on-aurix-using-systemc-ams-paper.pdf)

Fontanesi, S., Einwich, K., Ehrlich, P., Formato, G., Possemato, A., 2021. A comparison of methodologies to simulate mixed-signal IC. Presented at the DVCon Europe. (https://dvcon-proceedings.org/wp-content/uploads/a-comparison-of-methodologies-to-simulate-mixed-signal-ic-paper.pdf )

Barnasconi, M., Kitzen, WIl, Lammers, Thieu, Ehrlich, Paul, Einwich, Karsten, 2021. Unified Model/Hardware-in-the-Loop Methodology for Mixed-Signal System Design and Hardware Prototyping. Presented at the DVCon Europe. (https://dvcon-proceedings.org/wp-content/uploads/unified-modelhardware-in-the-loop-methodology-for-mixed-signal-system-design-and-hardware-prototyping-paper.pdf)

Vörtler, T., 2021. Möglichkeiten zur Erstellung und zum Hardware-/Software debuggen von virtuellen Prototypen mit RISC-V Prozessoren.

Solanti, P., Arndt, T., 2020. Single Source System to RegisterTransfer Level Design Methodology Using High-Level Synthesis. Presented at the DVCon Europe.

Einwich, K., Vörtler, T., 2020. Static Analysis of SystemC/SystemC-AMS System and Architectural Level Models. Presented at the DVCon Europe, p. 8.

Solanti, P., Arndt, T., 2020. Single Source System to RegisterTransfer Level Design Methodology Using High-Level Synthesis. Presented at the DVCon Europe.

Hassan, M., Groβe, D., Vörtler, T., Einwich, K., Drechsler, R., 2019. Functional Coverage-Driven Characterization of RF Amplifiers, in: 2019 Forum for Specification and Design Languages (FDL). pp. 1–8. https://doi.org/10.1109/FDL.2019.8876957

Vörtler, T., Hassan, M., Große, D., Einwich, K., 2019. Dem Zufall überlassen. elektronik Informationen 40–43.

Vörtler, T., Taniyama, K., 2019. Sensor Modeling Approach for Autonomous Driving Simulation and Sensor Simulation. Presented at the ASAM International Conference 2019, Dresden.

Vörtler, T., Einwich, K., Hassan, M., Große, D., 2018. Using constraints for SystemC AMS design and verification. Presented at the DVCon Europe, Munich.

Pêcheux, F., Grimm, C., Maehne, T., Barnasconi, M., Einwich, K., 2018. SystemC AMS Based Frameworks for Virtual Prototyping of Heterogeneous Systems, in: 2018 IEEE International Symposium on Circuits and Systems (ISCAS). pp. 1–4. https://doi.org/10.1109/ISCAS.2018.8351864

Hassan, M., Große, D., Le, H.M., Vörtler, T., Einwich, K., Drechsler, R., 2018. Testbench Qualification for SystemC-AMS Timed Data Flow Models, in: Design, Automation and Test in Europe.

Vörtler, T., 2018. Verification of software for Contiki-based low-power embedded systems using software model checking. BTU Cottbus-Senftenberg, Cottbus.

Burton, M., Michel, L., Ehrlich, P., Einwich, K., 2017. Heterogenous Virtual Prototyping for IoT Applications. Presented at the DVCon Europe 2017, Munich.

Vörtler, T., Einwich, K., 2017. Verification IP for Complex Analog and Mixed-Signal Behavior. Presented at the DVCon Europe 2017, Munich.

Barnasconi, M., Dietrich, M., Einwich, K., Vörtler, T., Lucas, R., Chaput, J.P., Pecheux, F., Wang, Z., Cuenot, P., Neumann, I., Nguyen, T., 2015. UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases. Design & Test, IEEE PP, 1. https://doi.org/10.1109/MDAT.2015.2427260

Vörtler, T., Höckner, B., Hofstedt, P., Klotz, T., 2015. Formal Verification of Software for the Contiki Operating System Considering Interrupts, in: Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2015 IEEE 18th International Symposium On. Presented at the Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2015 IEEE 18th International Symposium on, pp. 295–298. https://doi.org/10.1109/DDECS.2015.59

Vörtler, Thilo, Klotz, T., Einwich, K., Assmann Felix, 2015. Simplifying UVM in SystemC. Design and Verification Conference & Exhibition Europe (DVCon) 2015.

Barnasconi, M., Pecheux, F., Vörtler, T., 2014. Advancing system-level verification using UVM in SystemC. Presented at the DVCon.

Ehrlich, P., Vörtler, T., Nguyen, T., 2014. UVM-SystemC based hardware in the loop simulations for accelerated Co-Verification. Presented at the DVCon Europe.

Ferreira, R.R., Klotz, T., Vörtler, T., da Rolt, J., Nazar, G.L., Moreira, A.F., Carro, L., Einwich, K., 2014. Reliable execution of statechart-generated correct embedded software under soft errors. Presented at the Design and Diagnostics of Electronic Circuits & Systems, 17th International Symposium on, pp. 147–152. https://doi.org/10.1109/DDECS.2014.6868779

Li, Y., Wang, Z., Louërat, M.-M., Pêcheux, F., Iskander, R., Cuenot, P., Barnasconi, M., Vörtler, T., Einwich, K., 2014. Virtual prototyping, verification and validation framework for automotive using systemc, systemc-ams and systemc-uvm, in: Embedded Real Time Software and Systems (ERTS2). pp. 1–10.

Lucas, R., Cuenot Philippe, Louërat, M.-M., Li, Y., Wang, Zh., Chaput, J.-P., Pêcheux, F., Iskander, R., Barnasconi, M., Vörtler, T., 2014. Generation of UVM compliant Test Benches for Automotive Systems using IP-XACT with UVM-SystemC and SystemC AMS. Presented at the DVCon Europe.

Machne, T., Zhi Wang, Vernay, B., Andrade, L., Ben Aoun, C., Chaput, J.-P., Louerat, M.-M., Pecheux, F., Krust, A., Schropfer, G., Barnasconi, M., Einwich, K., Cenni, F., Guillaume, O., 2014. UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context, in: Electronics, Circuits and Systems (ICECS), 2014 21st IEEE International Conference On. Presented at the Electronics, Circuits and Systems (ICECS), 2014 21st IEEE International Conference on, pp. 862–865. https://doi.org/10.1109/ICECS.2014.7050122

Vörtler, T., Klotz, T., Einwich, K., Li, Y., Wang, Zh., Louërat, M.-M., Chaput, J.-P., Pêcheux, F., Iskander, R., Barnasconi, M., 2014. Enriching UVM in SystemC with AMS extensions for randomization and functional coverage. Presented at the DVCon Europe.

Benny Höckner, P.H., Peter Sauer, Thilo Voertler and Thomas Hinze, 2013. Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems, in: 20th International Conference on Applications of Declarative Programming and Knowledge Management.

Höckner, B., Hofstedt, P., Kaltschmidt, S., Sauer, P., Vörtler, T., 2013. Design space exploration for cyber physical system design using constraint solving. Presented at the Specification & Design Languages (FDL), 2013 Forum on, pp. 1–4.

Arndt, T., Einwich, K., Presting, H., 2012. Restbus-Simulation unter Verwendung virtueller Prototypen. Presented at the AmE 2012, Automotive meets Electronics. CD-ROM, VDE-Verlag, pp. 110–115.

Einwich, K., Arndt, T., 2012. SystemC-AMS basierte Modellierung, Simulation und HiL Echtzeitsimulation  für Anwendungen der Automobilelektronik. Presented at the ASIM-Konferenz STS/GMMS 2012. Simulation technischer Systeme. Grundlagen  und Methoden in Modellbildung und Simulation, ARGESIM-Verl, pp. 203–208.

Reuther, C., Einwich, K., 2012. Eine Erweiterung des linearen Lösers in SystemC AMS für zeitlich  veränderliche Module. Presented at the 9. Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems, CPMNS  2012, Fraunhofer Verlag, pp. 37–42.

Schneider, P., Bayer, C., Einwich, K., Köhler, A., 2012. System level simulation - a core method for efficient design of MEMS and  mechatronic systems. Presented at the 9th International Multi-Conference on Systems, Signals and Devices, SSD  2012, IEEE, p. 6.

Vörtler, T., Rülke, S., Hofstedt, P., 2012. Bounded model checking of Contiki applications. Presented at the Design and Diagnostics of Electronic Circuits Systems (DDECS), 2012 IEEE 15th International Symposium on, pp. 258–261. https://doi.org/10.1109/DDECS.2012.6219069

Arndt, T., 2011a. Modellbasierter Entwurf eingebetteter Software für heterogene Systeme mit  UML und SystemC AMS. Presented at the CPMNS 2010, Cyber-Physical Systems - Enabling Multi-Nature Systems, Universität Bremen, pp. 51–56.

Arndt, T., 2011b. Modellbasierter Entwurf heterogener Systeme unter Verwendung von  UML-Zustandsdiagrammen und SystemC AMS. Presented at the Automotive meets electronics. Beiträge der 2. GMM-Fachtagung 2011. CD-ROM, VDE-Verlag, pp. 16–22.

Einwich, K., 2011. Virtual prototyping for smart systems for electric, safe and networked  mobility. Presented at the Advanced microsystems for automotive applications 2011, Springer, pp. 305–314.

Einwich, Karsten, 2011. Introduction to the SystemC AMS extension standard. Presented at the 14th IEEE International Symposium on Design and Diagnostics of Electronic  Circuits and System, DDECS 2011, IEEE, pp. 6–8.

Vörtler, T., Klotz, T., Fordran, E., Hofstedt, P., 2011. Formale Verifikation von Contiki-Anwendungen. Presented at the MBMV, pp. 39–48.

Arndt, T., Einwich, K., Schmidt, S., Neumann, I., 2010a. Gesamtsystemmodellierung zum heterogenen Systementwurf auf TIER-1 Ebene. Presented at the AmE 2010 - Automotive meets electronics. CD-ROM, VDE-Verlag, pp. 100–105.

Arndt, T., Uhle, T., Einwich, K., Neumann, I., 2010b. Using SystemCAMS for heterogeneous systems modelling at TIER-1 level. Presented at the Forum on Specification and Design Languages, FDL 2010. Proceedings, IEEE, pp. 228–233.

Barnasconi, M., Einwich, K., Grimm, C., Pecheux, F., 2010. Tutorials: Application of the SystemC AMS 1.0 standard. Presented at the Design, Automation and Test in Europe 2010. Proceedings, IEEE.

Einwich, K., 2010. AutoSUN - Entwurf von elektronischen Automobil-Systemen aus  toleranzbehafteten Baugruppen: Vortrag gehalten auf dem edaworkshop, ,.

Einwich, K., Uhle, T., 2010. SystemC AMS - holistic analog, digital, hardware and software system-level  modeling. EDA Tech Forum Journal 7, 28–33.

Einwich, Karsten, 2010. SystemC AMS extensions. 2010 Forum on Specification & Design Languages (FDL 2010) 1. https://doi.org/10.1049/ic.2010.0170

Schulz, S., Becker, J., Uhle, T., Einwich, K., Sonntag, S., 2010. Transmitting TLM transactions over analogue wire models. Presented at the Design, Automation and Test in Europe 2010. Proceedings, IEEE, pp. 1608–1613.

Uhle, T., Einwich, K., 2010. A SystemC AMS extension for the simulation of non-linear circuits. Presented at the IEEE 23rd International SOC Conference 2010, IEEE, pp. 193–198.

Einwich, K., 2009a. Application of SystemC-AMS: Presentation held at the International  Workshop on Power and Timing Modeling, Optimization and Simulation 2009, Delft,  The Netherlands.

Einwich, K., 2009b. SystemC AMS for the design of complex analog mixed signal SoC’s:  Presentation held at edaWorkshop 2009, Dresden, Germany,.

Einwich, K., Grimm, C., Barnasconi, M., Vachoux, A., 2009. Introduction to the SystemC AMS DRAFT standard. Presented at the IEEE International SOC Conference, SOCC 2009, IEEE, p. 446.

Rafaila, M., Decker, C., Grimm, C., Einwich, K., Markwirth, T., Pelz, G., 2009. Case study of high-level verification of an automotive Window lifter ECU. Presented at the 7. GI/GMM/ITG-Workshop Multi-Nature Systems, Universität Ulm.

Rogin, F., Klotz, T., Fey, G., Drechsler, R., Rulke, S., 2009. Advanced verification by automatic property generation. IET Computers & Digital Techniques 3, 338–353.

Clauß, C., Haase, J., Markwirth, T., 2008. Statistische Analyse mit dem SAE Standard J2748. Presented at the Modellierung, Regelung und Simulation in Automotive und Prozessautomation, ARGESIM, p. 7.

Markwirth, T., Haase, J., Einwich, K., 2008. Statistical modeling with SystemC-AMS for automotive systems. Presented at the Forum on Specification Verification and Design Languages, FDL 2008, IEEE, pp. 247–248.

Vasilevski, M., Pecheux, F., Beilleau, N., Aboushady, H., Einwich, K., 2008. Modeling and refining heterogeneous systems with systemC-AMS: Application  to WSN. Presented at the Design, Automation and Test in Europe, DATE 2008, IEEE, p. 6.

Uhle, T., Einwich, K., Haase, J., 2007. Efficient transient simulation of lossy coupled interconnects in digital  communication applications. Presented at the Tenth International Forum on Specification and Design Languages, FDL 2007.  Proceedings, European Electronic Chips & Systems design Initiative -ECSI-, p. 6.

Einwich, K., Bastian, J., Clauß, C., Eichler, U., Schneider, P., 2006a. SystemC-AMS extension library for modeling conservative nonlinear dynamic  systems. Presented at the Ninth International Forum on Specification and Design Languages. FDL 2006.  Proceedings, ECSI, pp. 113–118.

Einwich, K., Haase, J., Knöchel, U., 2006b. Modellierungssprachen beim Entwurf komplexer analoger und  Mixed-Signal-Systeme. Presented at the ANALOG ’06. Entwicklung von Analogschaltungen mit CAE-Methoden mit dem  Schwerpunkt Fertigungsgerechter und ausbeuteorientierter Entwurf robuster  nanoelektronischer Schaltungen, VDE-Verlag, pp. 9–10.

Markwirth, T., Schneider, P., Sörensen, A., Anton, M., Weber, J., 2006. Verhaltensmodellierung eines adaptiven leistungselektronischen  Mixed-Signal-ASIC - Erweiterung zur mechatronischen Systemsimulation. Presented at the ANALOG ’06. Entwicklung von Analogschaltungen mit CAE-Methoden mit dem  Schwerpunkt Fertigungsgerechter und ausbeuteorientierter Entwurf robuster  nanoelektronischer Schaltungen, VDE-Verlag, pp. 155–160.

Uhle, T., Einwich, K., Haase, J., 2006. Effiziente Simulation von Logikimpulsen auf verlustbehafteten  Mehrfachleitungen. Presented at the ANALOG ’06. Entwicklung von Analogschaltungen mit CAE-Methoden mit dem  Schwerpunkt Fertigungsgerechter und ausbeuteorientierter Entwurf robuster  nanoelektronischer Schaltungen, VDE-Verlag, pp. 249–254.

Schneider, P., Eichler, U., Einwich, K., Schwarz, P., 2005. Model-based design of measurement systems. Presented at the SENSOR 2005. 12th international conference. Proceedings, AMA Service GmbH, pp. 323-328 (Vol.II).

Vachoux, A., Grimm, C., Einwich, K., 2005. Extending SystemC to support mixed discrete-continuous system modeling and simulation. 2005. ISCAS 2005. IEEE International Symposium on Circuits and Systems 5166–5169. https://doi.org/10.1109/ISCAS.2005.1465798

Einwich, K., Vachoux, A., Grimm, C., 2004. Towards analog and mixed-signal SOC design with SystemC-AMS. Presented at the DELTA 2004, Second IEEE International Workshop on Electronic Design, Test  and Applications. Proceedings, IEEE Computer Society, p. 97.

Schneider, P., Eichler, U., Einwich, K., Schwarz, P., 2004. Simulationsgestützter Entwurf von Mess- und Prüfsystemen für Mikrosysteme. Presented at the 10. GMM-Workshop Methoden und Werkzeuge zum Entwurf von Mikrosystemen  2004. Tagungsband, FhG IZM - Advanced System Engineering, pp. 153–160.

Speitel, M., Niemann, B., Braun, A., Einwich, K., Haubelt, C., Mayer, F., 2004. Modern design techniques with systemC. Automation and Test in Europe Conference and Exhibition Design 1, 34–35. https://doi.org/10.1109/DATE.2004.1268817

Einwich, K., Schwarz, P., Grimm, C., Waldschmidt, K., 2003a. Mixed-signal extensions for SystemC. SYSTEM SPECIFICATION AND DESIGN LANGUAGES 19–28.

Einwich, K., Schwarz, P., Grimm, C., Meise, C., 2003b. SystemC-AMS. Rationales, state of the art, and examples, in: SystemC. Methodologies and Applications. Kluwer, Boston, pp. 273–297.

Vachoux, A., Grimm, C., Einwich, K., 2003a. Analog and mixed signal modelling with SystemC-AMS. 2003. ISCAS ’03. Proceedings of the 2003 International Symposium on Circuits and Systems 3, III-914-III–917. https://doi.org/10.1109/ISCAS.2003.1205169

Vachoux, A., Grimm, C., Einwich, K., 2003b. SystemC-AMS requirements, design objectives and rationale. Automation and Test in Europe Conference and Exhibition Design 388–393. https://doi.org/10.1109/DATE.2003.1253639

Sommer, R., Rugen-Herzig, I., Hennig, E., Gatti, U., Malcovati, P., Maloberti, F., Einwich, K., Clauß, C., Schwarz, P., Noessing, G., 2002. From system specification to layout: Seamless top-down design methods for  analog and mixed-signal applications. Presented at the Design, Automation and Test in Europe Conference and Exhibition 2002.  Proceedings, IEEE Computer Society, pp. 884–891.

Einwich, K., Clauß, C., Noessing, G., Schwarz, P., Zojer, H., 2001. SystemC Extensions for Mixed-Signal System Design, in: Fourth International Forum on Design Languages, FDL’01, Proceedings.

Einwich, K., 1999. DUT-Modellierung für den virtuellen Test. Presented at the 11. ITG-Workshop Testmethoden und Zuverlässigkeit von Schaltungen und  Systemen 1999, Informationstechnische Gesellschaft -ITG-, pp. 86–89.

Einwich, K., Altmann, S., Leitner, T., Hoppenstock, R., Krampl, G., Sattler, S., 1999a. Applying high-level virtual test to a complex mixed-signal  telecommunication circuit. Presented at the 5th IEEE International Mixed Signal Testing Workshop 1999, IEEE, pp. 91–95.

Einwich, K., Knöchel, U., Schwarz, P., 1999b. Modellierung und Simulation nachrichtentechnischer Schaltungen und Systeme. Presented at the Simulationstechnik. 13. Symposium. Tagungsband, SCS International, pp. 15–20.

Einwich, K., Krampl, G., Hoppenstock, R., Koutsandreas, P., Sattler, S., 1999c. A multi-level modeling approach rendering virtual test engineering (VTE)  economically viable for highly complex telecom circuits. Presented at the Design, Automation and Test in Europe Conference and Exhibition 1999.  Proceedings, IEEE Computer Society, pp. 227–231.

Einwich, K., Schwarz, P., Trappe, P., Chambers, T., Krampl, G., Zojer, H., Sattler, S., 1998. Virtual test of complex mixed-signal telecommunication circuits reusing  system-level models. Presented at the 4th IEEE International Mixed Signal Testing Workshop, IEEE Computer Society, pp. 237–242.

Schwarz, P., Clauß, C., Einwich, K., Knöchel, U., Matz, K., 1998. Hybride Simulation nachrichtentechnischer Systeme. Presented at the Simulationstechnik. 12. Symposium. Tagungsband, vdf - Hochschulverlag AG an der ETH Zürich, pp. 67–74.

Einwich, C., Schwarz, P., Trappe, P., Zojer, H., 1996. Simulatorkopplung für den Entwurf komplexer Schaltkreise der  Nachrichtentechnik. Presented at the Mikroelektronik für die Informationstechnik. Vorträge der ITG-Fachtagung  am 18. und 19. März 1996 in Chemnitz, VDE-Verlag, pp. 139–144.

Arndt, T., n.d. Modellbasierter Entwurf heterogener Systeme unter Verwendung von UML und  SystemC AMS.

Markwirth, T., n.d. Entwicklung einer SystemC Modellbibliothek zur  Transaktions-Level-Modellierung (TLM) für den Konzeptionsentwurf von Systemen  der Automobilelektronik.

Schulz, S., n.d. Implementierung eines konfigurierbaren VHDL-nach-SystemC-Konverters.