Universal Verification Methodology (UVM)
An emerging Accellera standard for the expressed purpose of fostering universal verification IP (VIP) interoperability. Increases productivity by eliminating expensive interfacing that slows VIP reuse. Championed and supported by electronics companies throughout the verification ecosystem.
Learn more »
Open Verification Methodology (OVM)-based verification
Helps teams develop advanced verification environments with higher levels of integration and portability of verification IP. Fully open, supports multiple languages, and scales from block to system and project to project. Works seamlessly with the Cadence metric-driven verification flow and the Cadence
Verification IP portfolio to maximize productivity, project predictability, and quality.
Learn more »
TLM-driven design and verification methodology
Transaction-level modeling (TLM) takes design and verification to the next abstraction level, removing extraneous implementation detail so that engineers can focus on functionality. A TLM-driven methodology leverages high-level synthesis, metric-driven verification, and advanced ECO capabilities to enable: 10x faster IP reuse; 2x faster verification turnaround; 30-50% shorter debug cycle; and much broader micro-architecture exploration to optimize tradeoffs among latency/throughput, power consumption, and size.
Learn more »
Metric-driven verification
Ensures verification project predictability, productivity, and quality. Uses specifications to create verification plans capturing verification intent, performs metrics analysis/reporting, measures progress, and automates verification tasks. Drives convergence toward verification goals and helps teams determine when high-quality verification is achieved. Uses the
Compliance Management System and the Cadence
Verification IP portfolio to simplify the adoption of metric-driven verification. Verifies designs at all levels of abstraction, from SystemC TLM to RTL to gates.
Learn more »
Low-power verification
Verifies low-power design intent without disrupting the functional verification environment. Integrates low-power verification planning, coverage, and debugging. Supports the Common Power Format (CPF).
Learn more »
Assertion-based verification
Allows teams to start verification earlier and remove bugs faster. Captures design intent, detects errors close to the source, provides coverage information, and enables formal analysis. Supports industry-standard languages. Includes unique assertion-based
Verification IP to simplify adoption of assertion-based verification.
Learn more »
Mixed-signal verification
Cadence has introduced a mixed-signal verification (MSV) flow for digital-centric designs. The flow enables high-performance mixed-signal verification very close to digital speeds, and it can be used for high-volume regression testing. The Cadence® MSV flow leverages real valued modeling (RVM) for top-level verification of analog or mixed-signal designs. Using the Cadence MSV flow, engineers can enhance the top-level verification performance of the overall verification process.
Learn more »