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 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 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 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 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, 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 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 PCDC is the only solution that delivers comprehensive netlist CDC sign-off including glitch checking. RTL CDC sign-off assumptions may become invalid because of logic synthesis and power optimizations. Verix PCDC performs comprehensive structural and functional analysis to ensure that signals crossing asynchronous clock domains are CDC-safe at the gate-level. Complementing Real Intent’s Verix CDC solution that provides comprehensive analysis for RTL sign-off, Verix PCDC delivers the most advanced netlist sign-off for giga-gate designs.
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.
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.
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.