Aktuelle Publikation
Automatic Annotation of Properties to ESL SystemC Models and Accelerated Simulation
Georg Gläser1, Eckhard Hennig2
2015 Forum on Specification and Design Languages (FDL), , Barcelona, Spain
1IMMS Institut für Mikroelekronik- und Mechatronik-Systeme gemeinnützige GmbH (IMMS GmbH), Ehrenbergstraße 27, 98693 Ilmenau, Germany, 2Reutlingen University, Alteburgstraße 150, 72762 Reutlingen, Germany
Zugehörige Inhalte
Projekt
ANCONA
Die erarbeiteten rechnergestützten Verifikationsmethoden beschleunigen die Entwicklung von Industrie-4.0-Anwendungen.
Auszeichnung
EDA Achievement Award 2018: Für seine Verdienste in der Entwicklung neuer anwendungsorientierte Methoden zur verbesserten Analyse integrierter Mixed-Signal Schaltungen und deren Umsetzung in die industrielle Praxis
Georg Gläser
Auszeichnung
Competition Runner-up für den Beitrag: Automated Generation of System-Level AMS Operating Condition Checks: Your Model's Insurance Policy
Georg Gläser
Auszeichnung
Best Paper Award für den Beitrag: Knowing Your AMS System’s Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation
Georg Gläser
Auszeichnung