Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über verschiedene Stufen des VP-basierten Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darüber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewährleistung seiner Sicherheit.

• Bietet eine umfassende Einführung in den modernen VP-basierten Verifikationsablauf für heterogene SOCs;
• Stellt eine neuartige metamorphe Testtechnik für heterogene SOCs vor, die keine Referenzmodelle erfordert;
• Enthält automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;

• Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstärkern.

  Autorentext
  Muhammad Hassan erhielt den B.Sc. in Telekommunikationstechnik von der NUCES-FAST University, Islamabad, Pakistan, und den M.Sc. in Kommunikationstechnik von der RWTH Aachen, Deutschland, in den Jahren 2010 bzw. 2015. 2021 wurde er an der Universität Bremen zum Dr.-Ing. in Informatik promoviert. Seit 2017 ist er wissenschaftlicher Mitarbeiter am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen. Zusätzlich arbeitet er seit 2021 als Post-Doktorand in der Arbeitsgruppe Rechnerarchitektur der Universität Bremen. Seine aktuellen Forschungsinteressen umfassen Verifikation, Virtual Prototyping, heterogene Systeme und Blockchain. Er erhielt den Preis für das beste Paper auf der DVCon Europe 2018. Daniel Große erlangte 2008 den Dr.-Ing. in Informatik an der Universität Bremen. Anschließend war er als Postdoktorand am Lehrstuhl für Rechnerarchitektur an der Universität Bremen tätig. Im Jahr 2010 vertrat er eine Professur für Rechnerarchitektur an der Universität Freiburg, Deutschland. Von 2013 bis 2014 war er CEO des EDA-Start-ups solvertec, das sich auf automatisierte Debugging-Techniken konzentrierte. Danach, bis 2020, war er Senior Researcher an der Universität Bremen und wissenschaftlicher Koordinator der Graduiertenschule System Design, die im Rahmen der deutschen Exzellenzinitiative gefördert wurde. Zusätzlich ist er seit 2015 am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) tätig. Im Juli 2020 wurde er Professor an der Johannes Kepler Universität Linz, Österreich, und leitet das Institut für Complex Systems und das LIT Secure und Correct Systems Lab. Seine aktuellen Forschungsinteressen umfassen Verifikation, virtuelle Prototypen, Debugging, Synthese und RISC-V. Er hat über 150 Artikel in Peer-Review-Zeitschriften und Konferenzen in den genannten Bereichen veröffentlicht. Dr. Große war in Programmkomitees zahlreicher Konferenzen tätig, darunter ASP-DAC, DAC, DATE, ICCAD, CODES+ISSS, GLSVLSI, FDL und MEMOCODE. Er erhielt Best Paper Awards (FDL 2007, DVCon Europe 2018, ICCAD 2018, FDL 2020 und FDL 2022) sowie geschäftsbezogene Auszeichnungen (IKT Innovativ Award 2013, Weconomy Award 2013 und Embedded Award 2014). Er ist IEEE Senior Member und Allied Member der Accellera Systems Initiative in der SystemC Verification Working Group.. Rolf Drechsler ist seit 2011 Leiter der Abteilung Cyber-Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Außerdem ist er seit 2001 ordentlicher Professor am Institut für Informatik der Universität Bremen. Zuvor war er in der Abteilung Corporate Technology der Siemens AG und am Institut für Informatik der Albert-Ludwigs-Universität Freiburg/Breisgau tätig. Rolf Drechsler erhielt das Diplom und den Dr. Phil. Nat. in Informatik an der Goethe-Universität in Frankfurt am Main, Deutschland, 1992 bzw. 1995. Rolf Drechsler konzentriert sich in seiner Forschung am DFKI und in der von ihm geleiteten Gruppe für Rechnerarchitektur am Institut für Informatik der Universität Bremen auf die Entwicklung und den Entwurf von Datenstrukturen und Algorithmen mit Schwerpunkt auf Schaltungs- und Systementwurf. Er ist ein ACM Distinguished Member und ein IEEE Fellow.

  Inhalt

Einführung.- Vorbemerkungen.- AMS Metamorphic Testing Environment.- AMS Enhanced Code Coverage Verification Environment.- AMS Enhanced Functional Coverage Verification Environment.- Digital Early Security Validation.- Fazit.