MAOJET TECHNOLOY CORP. 茂積股份有限公司

Company

Press Room

Products

Partners

Success Story

Technical Support

HOME > Products > EDA tools > System Design and Verification > Formal and Static Verification

	EDA tools
	System Design and Verification Debug Analysis Formal and Static Verification Planning and Management Simulation and Testbench Software-Driven Verification Verification IP Digital Design and Signoff Equivalence Checking Low-Power Validation Synthesis Power Analysis SDC and CDC Validation Silicon Signoff Test Custom IC / Analog / RF Design Library Characterization Circuit Design Circuit Simulation Electrically Aware Design Layout Design Layout Verification RF Design Variation-Aware Design Modeling IC Package Design and Analysis IC Package Design SI/PI Analysis Integrated Solution SI/PI Analysis Point Tools Cross-Platform Co-Design and Analysis PCB Design and Analysis Design Authoring PCB Layout Library and Design Data Management Analog/Mixed-Signal Simulation SI/PI Analysis Integrated Solution SI/PI Analysis Point Tools Others PCB manufacturing tooling and analysis Failure Analysis
	IP solutions

	Vendor：	Cadence Design Systems, Inc.
	Product Name：	Incisive Formal Verification Platform
	Product Introduce：

Full-featured, property-checking formal verification solution

Cadence's Incisive® Formal Verification Platform is a full-featured, property-checking fomal verification
solution. While Cadence continues to fully support Incisive formal technologies, and it remains available
for sale to existing customers, we advise customers to use the JasperGold® Formal Verification Platform,
which is the leading formal verification solution going forward. Indeed, following the integration of certain
Incisive formal technologies with the JasperGold platform (see the press release from June 2015), the
JasperGold Formal Verification Platform is the recommended solution in all respects. The Incisive Formal
Verification Platform consists of two main products:

• Incisive Formal Verifier
• Incisive Enterprise Verifier