Ascent

–Lint -the fastest and lowest-noise RTL lint solution.

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

–XV (X-Verification) -detects and isolates X-propagation issues early.

Meridian

–CDC -the fastest, highest capacity and most precise CDC solution in the market.

–RDC -the fastest and most precise reset domain crossing sign-off tool on the market.

–PCDC –Physical CDC for netlist level checking, such as glitch failure.

Verix

–CDC as the market’s only true multi-mode CDC.