Methodology, documentation, workshops, and detailed examples within the same environment
Automates and eases the adoption of reusable advanced verification techniques, increasing productivity and predictability. Teaches Metric Driven Verification Methodology using interactive workshops and with integrated Incisive tool flows. Cadence Incisive Verification Kit Datasheet » Maximize Verification Efficiency with Metric-Driven Verification White Paper » The Incisive® Verification Kit and Metric-Driven Verification Methodology have been merged into a single comprehensive deliverable. The merge enables both methodology documentation and detailed examples to be shown within the same environment, called the Incisive Verification Kit. Both methodology content and kit content are available to Incisive technology users in the INCISIV release.
The Incisive Verification Kit demonstrates to users how to automate their verification environment using Metric-Driven Verification techniques, and it eases the adoption of reusable advanced verification techniques. The environment is designed to help users increase productivity and predictability with a series of workshops and hands-on labs that users can execute themselves.
For an overview of the Incisive Verification Kit, watch the video. (Cadence Online Support account required.)
There are two levels of the Incisive Verification Kit:
Incisive Verification Kit - IP levelThe IP-level kit contains advanced verification for block- and IP-level flows in both UVM SystemVerilog and UVM e, formal analysis, and verification planning and management. It includes all current and relevant Metric-Driven Verification and Plan-to-Closure Methodology documentation. The verification examples are based on a standard Verilog® UART design and AMBA subsystem. This kit is provided with Cadence simulation engines including Incisive Enterprise Simulator XL, Incisive Formal Verifier, Incisive Enterprise Verifier, and Incisive Specman® Elite. It uses many flows and techniques available with the Cadence Verification IP portfolio and Incisive Enterprise Manager.
Incisive Verification Kit – SoC levelThe SoC-level kit contains advanced verification for chip- and system-level flows in both UVM SystemVerilog and UVM e.The verification examples are based on a typical and representative wireless RISC-based SoC design and peripherals such as Ethernet and third-party MIPI IP blocks. It leverages formal analysis, hardware/software co-verification, and verification planning and management with Incisive Enterprise Manager. The kit includes all current and relevant methodology documentation. The SoC-level kit is provided with Incisive Enterprise Simulator XL, Incisive Formal Verifier, and Incisive Enterprise Verifier only, and it replaces the previous SoC Functional Verification Kit.
Use the links below to find information previously housed on the MyIPCM site.