Verbessertes virtuelles Prototyping

Einleitung.- Vorbemerkungen.- Eine quelloffene RISC-V-Evaluierungsplattform.- Formale Verifikation von SystemC-basierten Entwürfen mittels symbolischer Simulation.- Abdeckungsgesteuertes Testen für die skalierbare Verifikation von virtuellen Prototypen.- Verifikation von eingebetteten Software-Binärdateien mittels virtueller Prototypen.- Validierung von Firmware-basiertem Power Management mittels virtueller Prototypen.- Korrespondenzanalyse auf Register-Transfer-Ebene.- Fazit.- Index.

Dr. Vladimir Herdt erwarb 2014 den Master of Science in Informatik an der Universität Bremen, Deutschland. Bis 2020 promovierte er an der Universität Bremen im Bereich Rechnerarchitektur zum Dr.-Ing. in Informatik. Seither ist er Senior Researcher in der Abteilung Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI). Seine aktuellen Forschungsinteressen umfassen Virtual Prototyping sowie Verifikations- und Analysetechniken mit einem besonderen Fokus auf RISC-V. In diesen Bereichen hat er mehr als 25 begutachtete Zeitschriften- und Konferenzbeiträge veröffentlicht. Er wurde mit dem Springer BestMasters Award ausgezeichnet.

Prof. Daniel Grosse promovierte 2008 an der Universität Bremen zum Dr.-Ing. der Informatik. Im Jahr 2010 übernahm er eine Vertretungsprofessor für Rechnerarchitektur an der Albert-Ludwigs-Universität Freiburg. Von 2013 bis 2014 war er Geschäftsführer des EDA-Start-ups solvertec, das sich auf automatisierte Debugging-Techniken spezialisiert hat. Seit 2015 ist er Senior Researcher an der Universität Bremen und am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) sowie wissenschaftlicher Koordinator der im Rahmen der Exzellenzinitiative geförderten Graduiertenschule für Systemdesign. Mitte 2020 wurde er zum ordentlicher Professor an der Johannes Kepler Universität Linz, Österreich berufen, wo er die Gruppe für Komplexe Systeme leitet. Seine aktuellen Forschungsinteressen umfassen Verifikation, Virtual Prototyping, Debugging und Synthese. Er hat über 130 Publikationen in Fachzeitschriften und auf Konferenzen in den oben genannten Bereichen veröffentlicht. Dr. Grosse war in Programmausschüssen zahlreicher Konferenzen tätig, darunter DAC, DATE, ICCAD, CODES+ISSS, FDL und MEMOCODE. Er erhielt Auszeichnungen für den besten Vortrag auf der FDL 2007, DVCon Europe 2018 und ICCAD 2018. Er ist ein IEEE Senior Member.



Prof. Rolf Drechsler arbeitete nach