Products Overview

Functional Verification


Riviera-PRO™ addresses verification needs of engineers crafting tomorrow’s cutting-edge FPGA and SoC devices. Riviera-PRO enables the ultimate testbench productivity, reusability, and automation by combining the high-performance simulation engine, advanced debugging capabilities at different levels of...


ALINT™ design analysis tool decreases verification time dramatically by identifying critical issues early in the design stage. Smart design rule checking (linting) points out coding style, functional, and structural problems that are extremely difficult to debug in simulators and prevents those issues from spreading into the ...


ALINT-PRO-CDC™ is a design verification solution focused on clock domain crossings analysis and handling of metastability issues in complex, modern multi-clock designs. The tool uncovers critical problems during the RTL Design and Functional Verification stages, significantly reducing time to market....