Current Publication
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
Related content
Project
ANCONA
Computer-aided verification methods have been developed to accelerate the design of Industry 4.0 applications.
Award
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
Award
Competition Runner-up für den Beitrag: Automated Generation of System-Level AMS Operating Condition Checks: Your Model's Insurance Policy
Georg Gläser
Award
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
Award