AMS verbesserte funktionale Abdeckungsverifizierungsumgebung
摘要
Dieses Kapitel stellt neue systematische und leichtgewichtige Verifizierungsmethoden vor, die funktionale Abdeckung nutzen, um die Verifizierungsqualität des modernen Virtual Prototype (VP) Verifizierungsflusses zu verbessern. Traditionell wird die Verifizierung von Analog/Mixed-Signal (AMS) VPs durchgeführt, indem ein Signalgenerator auf der Eingangsseite des VP und Assertions/Prüfer auf der Ausgangsseite verwendet wird. Der Signalgenerator erzeugt die Eingangstest-Stimuli entsprechend den ausgewählten statischen Parametern. Die Assertions/Prüfer überprüfen die Korrektheit der Funktionalität. Für eine gründliche Verifizierung des Design Under Verification (DUV) ist jedoch zusätzlich eine Nachverfolgung des Verifizierungsfortschritts erforderlich. In der digitalen Designverifizierung ist die funktionale Abdeckung das weit verbreitete Maß für diesen Zweck. In AMS ist die Verifizierung mit funktionaler Abdeckung jedoch noch in den Kinderschuhen. Daher werden in diesem Kapitel Abdeckungsbehälter auf der Eingangs-Ausgangsseite des DUV eingeführt, um die Spezifikationen zu erfassen. Zusätzlich wird eine neue Abdeckungsanalyse verwendet, um nach Abdeckungslücken zu suchen. Schließlich wird ein automatisierter Lightweight Coverage Directed Stimuli Generation Ansatz vorgeschlagen, um die Abdeckungsschließung zu erreichen.