Current Publication
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, 98693 Ilmenau, Germany.
2Institute for Computer Science, Goethe Universität Frankfurt a. M., Germany.