Product Overview

Real Intent offers the industry’s fastest, lowest noise, high capacity static sign-off products for RTL linting, clock domain crossing, reset domain crossing, multimode DFT, connectivity and glitch, and hardware security.

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.

Complete Clock Domain Crossing Sign-Off

Meridian CDC

Meridian CDC is the fastest, highest capacity, and lowest noise clock domain crossing sign-off solution in the industry — and the only solution that enables all aspects of CDC sign-off.

It can perform multimode sign-off, allowing all possible clocking modes to be covered in a single run with only one setup. Its hierarchical flow delivers a tremendous productivity boost with flat CDC accuracy.

Meridian CDC is also the simplest-to-use CDC solution, with integrated debug and smart reporting for fast sign-off.

Precision Reset Domain Crossing 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.

Hardware Security Sign-Off

Sentry

Sentry is the industry’s fastest, highest capacity hardware security static sign-off tool. By ensuring all paths adhere to stringent security protocols, Sentry protects designs against potential security vulnerabilities that could allow malicious code to be executed in the hardware.

In a single run, the tool performs path verifications simultaneously across multiple security specifications to ensure data integrity, no leakage, and no interference. It can run a million gate design in only a few minutes, and a hundred million gates in only a couple of hours.

Multimode DFT Sign-Off

Meridian DFT

Meridian 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. Meridian 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.

Connectivity & Glitch Sign-Off

SafeConnect

SafeConnect connectivity & glitch sign-off tool enables early RTL and gate-level netlist sign-off for IP blocks or across SoCs. Design & verification engineers quickly define connectivity rules and glitch checks for various source-destination types.

SafeConnect’s high-capacity static analysis is about ten times faster than other approaches — with low noise reporting, and integrated debug. It is the only solution in the industry that enables both connectivity rules and glitch checking.

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.