Towards Non-Intrusive SystemC Checkpointing for Digital Virtual Prototypes

  • Deepak Ravibabu (Speaker)
  • Muhammad Hassan (Speaker)
  • Thilo Vörtler (Speaker)
  • Karsten Einwich (Speaker)
  • Rolf Drechsler (Speaker)
  • Große, D. (Speaker)

Activity: Talk or presentation › Contributed talk › science-to-science

Period11 Mar 2025
Event titleITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2025
Event typeWorkshop
LocationRostock/Warnemünde, GermanyShow on map

Fields of science

  • 202028 Microelectronics
  • 102011 Formal languages
  • 202017 Embedded systems
  • 102005 Computer aided design (CAD)
  • 202041 Computer engineering
  • 102 Computer Sciences
  • 202005 Computer architecture

JKU Focus areas

  • Sustainable Development: Responsible Technologies and Management
  • Digital Transformation

Documents & Links