Lecture: System-Level Operating Condition Checks: Automated Augmentation of VerilogAMS Models
Authors: Georg Gläser1, Martin Grabmann1, Gerrit Kropp1 and Andreas Fürtig2
1IMMS Institut für Mikroelektronik- und Mechatronik-Systeme gemeinnützige GmbH, Ehrenbergstraße 27, 98693 Ilmenau, Germany 2Institute for Computer Science, Goethe Universität Frankfurt a. M., Germany
Rick Pandey, Felix Grimm, Dominik Nille, Christoph Böckenhoff, Jonathan Gamez, Sebastian Uziel, Albert Dorneich, Tino Hutschenreuther, Silvia Krug,
2025
Applied Sciences
![[Translate to English:]](/fileadmin/_processed_/0/3/csm_20210706_Mag6D_BL_VF_A001C010H210706UX_CANON_00060812_1_1620x1280_8f3c01ff6a.jpg "[Translate to English:]")