Verbessertes virtuelles Prototyping - Herdt, Vladimir

. .

Résumé :
Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs verbessern. Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugeh?rige Software (SW) zugeschnitten sind. Die Abdeckung umfasst auch VP-Modellierungstechniken, die sowohl funktionale als auch nicht-funktionale Aspekte behandeln, und beschreibt zudem Korrespondenzanalysen zwischen der Hardware- und VP-Ebene, um die auf verschiedenen Abstraktionsebenen verf?gbaren Informationen zu nutzen. Alle Ans?tze werden ausf?hrlich diskutiert und anhand mehrerer Experimente evaluiert, um ihre Effektivit?t bei der Verbesserung des VP-basierten Entwurfsablaufs zu demonstrieren. Dar?ber hinaus legt das Buch einen besonderen Schwerpunkt auf den modernen RISC-V ISA, mit mehreren Fallstudien, die sowohl Aspekte der Modellierung als auch der VP- und SW-Verifikation abdecken.

Biographie:
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 Gro?e 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. Gro?e 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 seiner Promotion im Jahr 1995 an der Johann Wolfgang Goethe-Universit?t in Frankfurt am Main f?nf Jahre am Institut f?r Informatik der Albert-Ludwigs-Universit?t in Freiburg im Breisgau. Nach zwei Jahren in der Zentralabteilung Technologie der Siemens AG in M?nchen wurde Rolf Drechsler im Oktober 2001 zum ordentlicher Professor und Leiter der Gruppe f?r Rechnerarchitektur am Institut f?r Informatik der Universit?t Bremen berufen. Seit 2011 ist er zus?tzlich Direktor der Gruppe Cyber-Physical Systems am Deutschen Forschungszentrum f?r K?nstliche Intelligenz (DFKI) in Bremen. Von 2008 bis 2013 war er Prorektor f?r Forschung und Wissenschaftlichen Nachwuchs an der Universit?t Bremen. Seit 2018 ist er Dekan des Fachbereichs Mathematik und Informatik. Rolf Drechsler war Mitglied in Programmkomitees zahlreicher Konferenzen, darunter DAC, ICCAD, DATE, ASP-DAC, FDL, MEMOCODE und FMCAD. Er war Vorsitzender der Symposien auf der ISMVL 1999 und 2014 sowie der ETS 2018. Er ist Koordinator der im Rahmen derdeutschen Exzellenzinitiative gef?rderten Graduiertenschule System Design und Mitbegr?nder des Data Science Center an der Universit?t Bremen. Er erhielt Best-Paper-Awards bei HVC 2006, FDL 2007 und 2010, DDECS 2010 und ICCAD 2013 und 2018. Im Jahr 2018 erhielt er den Berninghausen Award for Excellence in Teaching. Er ist Associate Editor von IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Very Large Scale Integration Systems, IET Cyber-Physical Systems: Theory & Applications, International Journal on Multiple-Valued Logic and Soft Computing, und ACM Journal on Emerging Technologies in Computing Systems. Zu seinen aktuellen Forschungsinteressen geh?ren die Entwicklung und das Design von Datenstrukturen und Algorithmen mit Schwerpunkt auf Schaltkreis- und Systemdesign. Er ist ein IEEE Fellow...

Sommaire:

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.