Cadence INCISIVE ENTERPRISE VERIFIER Datasheet - page 4
4
www.cadence.com
INCISIVE ENTERPRISE VERIFIER
distributed processing allows you to
leverage the broad engine assortment by
running them in parallel for multi-fold
performance gains.
BRoad aSSERTIoN SuPPoRT aNd
INTERoPERaBIlITy
Incisive Enterprise Verifier supports
the same set of assertions as Incisive
simulation, acceleration, and emulation
tools support. This includes assertions
written in Property Specification Language
(PSL), SystemVerilog Assertions (SVA),
Open Verification Library (OVL), and the
open source Incisive Assertion Library.
Incisive Enterprise Simulator XL, the
engine behind Incisive Enterprise Verifier’s
dynamic simulation capabilities, supports
all IEEE-standard languages.
SIMVISIoN dEBuG aNd aNalySIS
ENVIRoNMENT
An integrated GUI environment and Tcl
interface provides you with an easy-to-
adopt debug and analysis environment—
the same as that in Incisive Enterprise
Simulator XL, and similar to that of other
simulators. The complete environment
includes built-in linting, waveform
viewing with source code linking, source
code value annotation and tracing,
structural analysis, vacuity and sanity
checks, coverage reporting, and overall
verification management. When Incisive
Enterprise Verifier detects an assertion
violation, it generates a counter-example
waveform to aid debugging. You can also
generate a simple testbench for use in an
Incisive Enterprise Simulator XL dynamic
simulation to validate the exposed
functional bug or for regression runs.
Together, these capabilities allow design
teams to instantly deploy and use Incisive
Enterprise Verifier in their production
flows.
Throughout the design and verification
flow, SimVision provides hardware analysis
checks, source browsing, transaction and
waveform viewing, and complete code/
transaction/assertion coverage analysis.
APIs based on industry standards are
available at all levels to enable user-
defined checks and analysis. Bottom
line: you only have to learn one debug
environment.
ToTal CoVERaGE aNalySIS
Incisive Enterprise Verifier supports
“total coverage analysis,” including all
coverage metrics commercially available—
functional, HDL code, dynamic assertion
coverage, and formal analysis results—
which are all displayed together in one
GUI and textual reporting system. This
ensures that all functionality is fully
tested, allowing you to achieve first-pass
silicon success.
Leveraging functional and assertion
coverage in particular, an executable
functional test plan (the vPlan) measures
the progress of verification, and functional
analysis automatically identifies holes
in the test coverage. Since functional
coverage is a meaningful and direct
measure of the completeness of your
verification, this analysis increases the
predictability of your verification schedule.
MulTI-laNGuaGE, dyNaMIC
TESTBENCh SIMulaTIoN
WITh INCISIVE ENTERPRISE
SIMulaToR Xl
Incisive Enterprise Verifier not only
leverages Incisive Enterprise Simulator XL
engines for its dual formal and dynamic
simulation features, but all of the
capabilities of XL are available to users.
The benefits of Incisive Enterprise
Simulator XL include:
Increased predictibility
• Drives your dynamic simulation process
from plan to closure with the vPlan
executable specification
• Applies coverage-driven verification and
debugs complex HW/SW interactions
and embedded software via Incisive
Software Extensions
higher performance
• Delivers the highest possible
performance for mixed-language
designs, across multiple levels of
abstraction
Figure 4: SimVision supports dynamic siumulation signal-level and transaction-based flows across all IEEE-
standard design, testbench, and assertion languages, in addition to concurrent visualization of the hardware,
software, and analog domains