Präsentation von Forschungsergebnissen auf der Konferenz ESSCIRC 2014 in Venedig. Foto: IMMS.
Präsentation von Forschungsergebnissen auf der Konferenz ESSCIRC 2014 in Venedig. Foto: IMMS.

wissenschafliche Publikationen – Alle Jahrgänge

  • Suche

System-Level Operating Condition Checks: Automated Augmentation of VerilogAMS Models

Georg Gläser1. Martin Grabmann1. Gerrit Kropp1. Andreas Fürtig2.

CDNLive EMEA 2018, 7-9 May 2018, München.

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.