Product Overview

Real Intent offers three product families – Ascent for early functional verification before synthesis, Meridian for advanced sign-off verification not possible with simulation or static timing analysis, and Verix for true multimode sign-off verification unlike anything else in the market.

Early Functional RTL Verification

Ascent Lint

Ascent Lint is the industry’s fastest and lowest-noise RTL lint solution. It includes smart rules that perform syntax and semantic checks for today’s complex System-on-Chip (SoC) designs. Ascent Lint is unique in the industry in terms of delivering high capacity, comprehensiveness and ease of debug.

Ascent AutoFormal

Ascent AutoFormal formal linting tool builds on Ascent Lint to find elusive functional bugs in RTL. It performs comprehensive verification using automatic check formulation followed by deep-sequential formal analysis. Ascent AutoFormal can improve verification efficiency substantially and detect up to 50% of design functional errors prior to testbench development and simulation. It is the industry’s highest capacity formal linting tool, and the only one with root cause analysis, drastically reducing the debug time and the number of iterations necessary to get to functional closure.

Clock and Reset Sign-off Verification

Meridian CDC

Meridian CDC is the fastest, highest capacity and most precise CDC sign-off solution in the market. It performs comprehensive structural and functional analysis to ensure that signals crossing asynchronous clock domains on ASIC, or FPGA devices are received reliably. With giga-gate capacity, Meridian CDC is the only solution that enables all aspects of CDC sign-off.

Meridian RDC

Meridian RDC is the fastest, most precise, and the most comprehensive reset domain crossing sign-off solution in the market. It performs unique functional static analysis to ensure that signals crossing reset domains work reliably. Among the numerous verification tasks it performs, Meridian RDC, most importantly, identifies metastability problems arising from software and/or low-power resets and their possible impact throughout the design.

Meridian RXV

Meridian RXV, for X-propagation sign-off, is the only solution for accurate initialization analysis, reset optimization, and testbench-independent X-optimism correction. Using high-performance formal analysis, it determines the flip-flops initialized by the design’s reset scheme, highlights uninitialized flip-flops, and reports flip-flops where initialization is not functionally required. Reset optimization suggests how the desired initialization can be achieved with fewer reset flip-flops. X-optimism identification ensures accurate RTL simulation that prevents critical bugs from being masked.

Advanced Multimode Sign-off Verification

Verix Multimode CDC

Verix CDC is the most precise and the most efficient multimode CDC sign-off tool in the market, specially architected for multimode analysis with static intent-verification. It performs comprehensive CDC analysis for multiple clocks reaching flip-flops, with the unique capability of analyzing all possible scenarios in a single run. It is built on specialized technology that statically infers clock relationships, which enables comprehensive clock-intent management and true multimode-CDC sign-off.

Verix Multimode DFT

Verix Multimode DFT is a high capacity, multimode DFT static sign-off tool. Its comprehensive set of fine-grained DFT rules help designers to rapidly identify design violations and improve scan testability and coverage. Verix DFT is deployed throughout the design process: 1) during RTL design, as part of addressing asynchronous set/reset, clock and connectivity issues early, 2) after scan synthesis, to check for scan chain rule compliance, and 3) following place & route to assess and correct issues with scan-chain reordering or netlist modification.

Verix SimFix

Verix SimFix, the Verix X-Pessimism correction system, enables accurate gate-level simulations (GLS) that are necessary for a thorough verification sign-off. SimFix uses mathematical methods to identify conditions under which pessimism can occur, and to determine the correct value when those conditions occur. It then generates files that, when used in simulation, will detect and correct pessimism so that the simulation accurately models real hardware.

Common Infrastructure

iDebug

iDebug is the state-of-the-art debugging environment for its suite of products for the verification of digital designs. iDebug provides an intuitive debugging experience that is universal across all Real Intent tools. It employs a database for the intelligent hierarchical analysis of design intent. It includes an integrated visualization capability, iVision, that provides design source browser, schematic and waveform visualization. The intent analyses of iDebug distinguish the root cause of issues, and minimize iterations and debug time, enabling powerful sign-off mechanisms.

ISO-26262

Several of Real Intent’s static sign-off tools are certified for use in ISO-26262 functional safety compliant flows. ISO-26262 is an industry-specific standard for the functional safety and expected reliability of electrical and electronic systems in passenger vehicles,. The standard was established to provide functional safety assurance in the development of automotive systems. Certified verification tools enable development teams to rapidly achieve acceptable safety ratings within their flows.