AMS verbesserte Code-Coverage-Verifizierungsumgebung

Dieses Kapitel diskutiert neuartige Methoden zur Codeabdeckungsschließung, um die Verifizierungsqualität des modernen Virtual Prototype (VP) Verifizierungsflusses zu verbessern. Da ein VP im Wesentlichen ein Softwaremodell ist, ähnelt die simulationsbasierte Verifizierung für VPs tatsächlich sehr der Softwareprüfung, und daher können Techniken aus diesem Bereich ausgeliehen werden, um eine hohe Qualität der Verifizierungsergebnisse zu gewährleisten. Diese ermöglichen eine Hardware (HW)/Software (SW) Co-Design und Verifizierung sehr früh im Designfluss, und insbesondere die Ansätze der softwaregesteuerten Verifizierung (SDV) und Data Flow Testing (DFT) für SystemC/AMS. Es beginnt mit einer neuartigen qualitätsgetriebenen Methode basierend auf der Mutationsanalyse. Durch die Erhebung der Hauptkonzepte der mutationsbasierten Qualifikation in den Kontext der SDV ist die vorgeschlagene Methode in der Lage, ernsthafte Qualitätsprobleme in den SW-Tests zu erkennen. Dann werden die DFT-Abdeckungskriterien für SystemC-Modelle diskutiert. Dies erfordert die Berücksichtigung der SystemC-Semantik der Verwendung von nicht-präemptivem Thread-Scheduling mit gemeinsamer Speicherkommunikation und ereignisbasierter Synchronisation. Zweitens erklären wir, wie man das Ergebnis der Datenflussabdeckung für einen gegebenen VP automatisch berechnet, indem man eine Kombination von statischen und dynamischen Analysetechniken verwendet. Schließlich werden die DFT-Abdeckungskriterien und der Ansatz auf SystemC/AMS-Modelle, insbesondere Timed Data Flow (TDF)-Modelle, erweitert.