Current Publication
Automatic Annotation of Properties to ESL SystemC Models and Accelerated Simulation
Georg Gläser1.
Eckhard Hennig2.
Specification and Design Languages (FDL), 2015 Forum on, 14-16 Sept., Barcelona, Spain
1IMMS Institut für Mikroelektronik- und Mechatronik-Systeme gemeinnützige GmbH, D-98693 Ilmenau, Germany.
2Hochschule Reutlingen, D-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