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.