Verification IP

SoC teams spend weeks, if not months, to verify standard interface protocols such as AMBA, PCI-Express. Bugs still surface due to either ambiguity in the protocol specification document or inability to exhaustively simulate all possible scenarios. In addition, expertise or understanding of protocols maybe required. It is also difficult to model protocol behavior early in the design cycle, and there is no way to create and manipulate waveforms directly from the spec.

The Jasper Verification IP solution enables SoC design teams to accelerate verification by quickly and exhaustively certifying standard protocols such as the latest AMBA 4 (AXI 4, ACE, API, APB) PCIe, DDR, LPDDR, OCP, etc.  The Jasper generated protocol related properties allow early exploration and verification of protocol specification and are optimized for formal.  They also plug seamlessly into the simulation environment.

 

Intelligent Proof Kits and Verification IP

Jasper provides Intelligent Proof Kits and Verification IP solutions to enable SoC design teams to accelerate verification by quickly and exhaustively certifying standard protocols such as the latest AMBA 4 (AXI 4, ACE, API, APB) PCIe, DDR, LPDDR, OCP, etc.  The Jasper generated protocol related properties allow early exploration and verification of protocol specification and are optimized for formal.  They also plug seamlessly into the simulation environment.

 

Learn more about Jasper's Intelligent Proof Kits and Verification IP.