Tag Archives: DFI

Jasper Intelligent Proof Kits for Interconnect Protocols Verification

Jasper Design Automation announced Intelligent Proof Kits for accelerated certification of advanced SoC interconnect protocols. Jasper Intelligent Proof Kits ship unencrypted with original source code to facilitate user customization and insights into the protocols themselves. Jasper is initially releasing Intelligent Proof Kits for AMBA 3 and AMBA 4. DFI, DDR and LPDDR versions will roll out a little later.

Continue reading

Jasper DFI Formal Verification Proof Kits for DDR-PHY Specification

Jasper Design Automation rolled out Proof Kits for the DFI (DDR-PHY) specification. The new DFI Proof Kits are currently available and provided at no additional charge to current licensees of Formal Testplanner. Other Jasper Proof Kits include AMBA 4 with AMBA 4 AXI, AXI-Stream and AXI-Lite interfaces; LPDDR1, LPDDR2, DDR, DDR2 and DDR3 SDRAM; AHB and AHB Lite; APB; Ethernet MDIO; OCP-IP; and PCI-Express.

Continue reading