Jasper Design Automation
Test-Kit für DFI
Jasper Design Automation gibt die Verfügbarkeit eines Test-Kits für die DFI-Spezifikation bekannt. DFI ist ein Interface-Protokoll zwischen Speicher-Controller und PHY-Schnittstellen.
Laut Unternehmensangaben stellt das DFI-Test-Kit von Jasper die umfangreichste Lösung für die formale Verifikation dieser Schnittstelle dar. Das DFI-Test-Kit besteht aus einem Satz von Eigenschaften, die in SystemVerilog verfasst wurden und der Verifikation der Standard-Interface-Protokolle dienen. Jedes Test-Kit beinhaltet einen formalen Testplan, der detaillierte Schritte für die Verifikation von DFI-Designs vorgibt, plus Eigenschaften des Protokolls, die das JasperGold Verification System überprüfen kann.
Das Test-Kit ist verfügbar und für Lizenznehmer des Formal Testplanner kostenlos.
Jobangebote+ passend zum Thema
