Tag Archives: DDR-PHY

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