Cadence INCISIVE ENTERPRISE VERIFIER Datasheet - page 2
2
www.cadence.com
INCISIVE ENTERPRISE VERIFIER
operations on server farms, consolidated
formal and simulation metrics, and multi-
core performance capabilities
The pure formal verification engines
inside Incisive Enterprise Verifier use
the industry’s most advanced formal
analysis technology to offer teams
superior performance, capacity, and ease
of adoption, which leads to reduced
block debug and integration time.
Coupled with the embedded simulation
technology of Incisive Enterprise Simulator
XL, engines and metrics from both
worlds are combined in unique ways to
enable significantly deeper state space
exploration than is possible with any
single engine alone.
Additionally, Incisive Enterprise Verifier can
derive dynamic simulation stimulus and
constraints from your assertions, giving
you directed tests to replay in dynamic
simulation to bring up your design faster.
The net result is significant gains in your
productivity, predictibility, and end-
product quality; all of which minimizes
your risk of re-spins and accelerates your
time to market.
BENEFITS
BETTER SChEdulE PREdICTIBIlITy
• Drives the entire verification process
from plan to closure with the vPlan
executable specification
• Ensures a more consistent verification
process by applying mutually reinforcing
metrics from both formal and dynamic
simulation in an automated, metric-
driven verification flow
INCREaSEd PRoduCTIVITy
• Uses the familiar and flexible SimVision
GUI to support novices and experts
alike, with witness tracing and other
simulation synergies for ease of
adoption
• Designers can start verification months
earlier, before the HDL testbench is
even specified
• Veriifcation engineers can leverage
the mix of dynamic simulation and
formal analysis capabilities to reach
signoff faster
• Reduces block design effort and
debug time, and shortens hierarchy
integration time
• Automates generation, assertion
checking, and functional and code
coverage to provide a “total
coverage” view
• Supports comprehensive IEEE standards
for easy reuse
ENhaNCEd ENd-PRoduCT
qualITy
• Mutually reinforcing metrics improve
quality and reduce risk of re-spins by
exposing corner-case functional bugs
that are difficult or impossible to find
using either pure formal or dynamic
simulation methods alone
• Reduces the time to discover and
correct logic and transaction modeling
errors via an integrated graphical debug
environment
FEaTuRES
BuIlT-IN METhodoloGy SuPPoRT
Incisive Enterprise Verifier is an integral
part of a comprehensive assertion-based
verification (ABV) and metric-driven
verification (MDV) flow. For maximum
efficiency, different technologies need
to be used where their strengths are
maximized. For example, formal analysis
is deployed at the beginning of the
verification flow as the designers write
RTL and assertions—months before
testbench simulation begins. With this
approach, bugs are detected much
earlier in the design cycle and are easier
and significantly less costly to fix. As the
project progresses, the same assertions
travel with the blocks and are verified by
Figure 2: The familiar SimVision integrated debug environment is the basis of the Incisive Enterprise Verifier
GUI; novices can rapidly adopt pure formal and dual-engine technologies while experts have a rich superset of
capabilities that give them the added control they desire