Products Using OCPCoWare Platform Architecture DesignOCP Assertion Based VIP CoWare is using OCP Assertion Based VIP (ABVIP) in order to simplify and automate OCP Verification. The Assertion Based VIP Increases quality, predictability, and productivity and supports incisive assertion based verification engines. The Assertion Based VIP is automated and easy to use, as it requires no testbench or stimulus generation. The ABVIP is ideal for interface verification, and has been customer proven in over 200 completed projects.
ABVIP has several key features including: Full complement of self-consistent properties, a full set of coverage points and debug checks, Performance optimized properties, Incisive Formal methodology compliant and Incisive Formal methodology aware documentation.
|
