Specta-AV™

Ein komplettes automatisches Verifizierungssystem

Agnisys Generated UVM Testbench from Specta-AV

Specta-AV™ ist ein umfassender UVM-Testbench-Generator, der die Verifikation mithilfe einer industrieerprobten Codegenerierungstechnologie automatisiert. Mit der Fähigkeit, hierarchische Registerspezifikationen aus IP-XACT, SystemRDL, Word oder Excel zu analysieren und komplexe Sequenzen in verschiedene Modellierungssprachen wie C und SystemVerilog umzuwandeln, erleichtert Specta-AV eine Methodik, bei der mehrere SoC-Gruppen eine goldene Spezifikation für die automatische Generierung von UVM-Tests/Umgebungen/Agenten abgleichen und bearbeiten können.

Mit Specta-AV wird die Generierung der kompletten UVM-Testbench, einschließlich der Sequenzelemente, Konfigurationen, Checker, Coverage und sogar des Plumbings innerhalb von UVM, nicht nur für adressierbare Register, sondern auch für Ihre Applikations- (Benutzer-) Logik automatisiert.

Die Automatisierung mit Specta-AV bietet eine 100%ige funktionale Abdeckung mit registerfokussierten Abdeckungsgruppen, die der Schlüssel zum Verifikationserfolg ist, da IPs und SoCs immer komplexer werden.

Der Toolflow besteht aus drei Hauptteilen:

Der Benutzer spezifiziert Register- und Memory-Map-Definitionen, Funktions- und Testsequenzen für benutzerdefinierte IPs, UVM-Konfigurationen, Checker und Coverage of Interest

Der Benutzer spezifiziert kommerzielle Protokoll-VIPs und instanziiert das Benutzerentwurfsmodul

Der Benutzer generiert den folgenden Code:

  1. Register-RTL, UVM-Modell oder HTML
  2. Busschnittstellen-Logik: AXI, APB, AHB oder proprietär
  3. UVM-Umgebung, Sequenzen, Checker, Cover Groups und Assertions
  4. Simulation Makefiles

Vorteile:

  • Viel weniger manuell eingegebener Code; der Rest wird automatisch generiert
  • Automatische Erstellung einer Verifikationsumgebung und von Tests gemäß der Spezifikation
  • UVM-Kenntnisse hilfreich, aber nicht erforderlich
  • Ideal für Startups, die UVM erlernen, und für große Organisationen, die die Verifikation rationalisieren wollen
  • Fördert die vertikale und horizontale Wiederverwendung von Tests und Umgebung