Cadence INCISIVE ENTERPRISE VERIFIER Datasheet

D

A

TA

S

H

E

E

T

INCISIVE ENTERPRISE VERIFIER

INCISIVE ENTERPRISE 

VERIFIER

Incisive Enterprise Verifier delivers 

dual power from tightly integrated 

formal analysis and simulation engines. 

Specifically, it includes all of Incisive 

Formal Verifier and Incisive Enterprise 

Simulator XL, leveraging both to offer 

unique new multi-engine integration 

capabilites. With easy set-up and 

automatic operation for most users, 

supplemented by fine-grain controls 

for experts, Incisive Enterprise Verifier 

increases return on investment in 

assertion-based verification (ABV). 

Additionally, with the ability to 

automatically translate formal results 

into dynamic simulation terms, Incisive 

Enterprise Verifier seamlessly combines 

the strengths of each technology in true a 

metric-driven verification flow.

Since Incisive Enteprise Verifier does not 

require a testbench, you can bring up your 

design much sooner and begin verification 

months earlier when designing RTL 

blocks. It also provides support for metric-

driven verification across the enterprise, 

with verification planning, regression 

With dual power from integrated formal analysis and 

simulation engines, Cadence

®

 Incisive

®

 Enterprise Verifier 

allows designers, formal verification experts, and dynamic 

simulation verification engineers to bring up designs faster, 

begin bug hunting earlier, and gather more metrics toward 

verification closure by simultaneously leveraging SVA, PSL, 

code, and functional coverage analysis.

Verification Environment

Device Under Test

“vPlan”

Executable Specification

Assertion-Based

Verification IP

Multi-Language, 

IEEE Standard

Testbench and Libraries

Applications

Incisive Enterprise Verifier - XL

Desktop

Manager

Sim Vision

Dual-Engine Integration

Specman and Simulator Core

Formal Analysis

Engines

Plan-Driven,

Multi-Run Control

with 

Total Coverage

Analysis

Witness

Tracing,

Debug,

and

Analysis

Assertion-Driven Simulation,Guide Pointing, Search Pointing,

Cover Point Targeting, Automatic Formal Analysis

Multiple solvers, 

distributable

across multiple

CPU cores

Constraint-Driven

Test Generation

e, Verilog, VHDL, SystemC,

SystemVerilog, PSL, OVL,

SVA Simulation

Code, Assertion,

Functional, and

Transaction Coverage

Single Run Data &

Assertion Checking

UVC Builder,

HDL Analysis,

and Lint

HDLs

Incisive

Acceleration

and Emulation

Assertions

Embedded

Software

Figure 1: Incisive Enterprise Verifier combines unique multi-engine formal and dynamic simuation capabilities with 

Incisive Formal Verifier, Incisive Enterprise Simulator XL, SimVision, Desktop Manager, and built-in support for 

assertion-based verification, the Universal Verification Methodology, and metric-driven verification