•Ascent for Early Functional Verification

Ascent Lint - the industry’s fastest and lowest-noise RTL lint solution.

–Ascent AutoFormal - an early functional verification tool that automatically finds elusive bugs in RTL.

–Ascent X-Verification System (XV) - detects and isolates X-propagation issues early, in Verilog RTL.

•Meridian for Advanced Sign-off Verification

–Meridian CDC - the fastest, highest capacity and most precise CDC solution in the market. With a capacity exceeding 100M gates, Meridian CDC is the only solution that enables all aspects of CDC sign-off.

–Meridian RDC - the fastest and most precise reset domain crossing sign-off tool on the market. It performs comprehensive static analysis to ensure that signals crossing reset domains function reliably.