Compilation of Methodologies to Speed up the Verification Process at System Level
Konferenz: edaWorkshop 12 - Workshop 2012 - Electronic Design Automation (EDA)
08.05.2012 - 09.05.2012 in Hannover, Germany
Tagungsband: edaWorkshop 12
Seiten: 6Sprache: EnglischTyp: PDF
Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt
Autoren:
Radke, Stephan; Rülke, Steffen; Fehlauer, Erhard (Fraunhofer EAS/IIS)
Oliveira, Marcio F. S.; Kuznik, Christoph; Müller, Wolfgang (University of Paderborn/C-LAB)
Ecker, Wolfgang; Esen, Volkan (Infineon Technologies)
Hufnagel, Simon; Bannow, Nico; Oetjens, Jan-Hendrik (Robert Bosch GmbH)
Brazdrum, Helmut; Janssen, Peter (Tieto ES GmbH)
Le, Hoang M.; Große, Daniel; Haedicke, Finn (University of Bremen)
Drechsler, Rolf (University of Bremen )
Koch, Gernot (Micronas)
Burger, Andreas; Bringmann, Oliver (Forschungszentrum Informatik)
Rosenstiel, Wolfgang (University of Tübingen)
Görgen, Ralph (OFFIS)
Inhalt:
This paper describes the ongoing research of significant performance enhancements in the simulation-based verification process at electronic system level. In this challenging field, there is more than one way to improve the verification process. Hence, a compilation is presented which contains seven novel or enhanced approaches respectively. Each of it addresses another subdomain in the field of simulation-based verification. Every individual approach targets to reduce the process time in that subdomain. Utilizing them united, the approaches afford a significant performance benefit. Most of this work has been accomplished in the SANITAS project that is partly funded by the German Federal Ministry of Education and Research (BMBF).