Cadence is committed to keeping design teams highly productive. A range of support offerings and processes helps Cadence users focus on reducing time-to-market and achieving silicon success. Overview
- Speeds time to block design closure with early error detection, analysis, and debug
- Reduces risk of re-spin by finding bugs that other verification approaches miss
- Eases chip-level verification by delivering higher block-level verification quality
Cadence's Incisive® Formal Verifier brings formal analysis to your desktop. By detecting errors prior to testbench availability, it enables verification very early in the design cycle and shortens the time to design convergence.
Using Incisive Formal Verifier, you can start RTL block verification months earlier than if you were using traditional simulation-based techniques. Its formal, assertion-based approach and exhaustive analysis capabilities ensure verification quality by pinpointing the source of bugs and detecting corner-case errors that other methods often miss. The tool integrates easily into established design and assertion-based verification flows through its support of industry-standard languages. It is also optimized to contribute data and coverage metrics to further accelerate a metric-driven system-on-chip (SoC) and silicon design flow.
Applications like SoC connectivity checking and Assertion-Based Verification IP provide mathematically exhaustive automation of verification processes that can break simulation-only approaches. Incisive Formal Verifier uses the same assertions as Incisive simulation, acceleration, and emulation technologies for SoC and silicon design. The tool supports all industry-standard assertion formats, including SystemVerilog Assertions (SVA), Property Specification Language (PSL), the Open Verification Library (OVL), and the Incisive Assertion Library.
Get the most out of your investment in Cadence technologies through a wide range of training offerings. We offer instructor-led classes at our training centers or at your site. We also offer self-paced online courses. Overview