Ascent

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

–   AutoFormal - formal verification tool that finds elusive bugs at RTL early stage

Meridian

–   CDC - the best performance CDC solution in the market.

–   RDC - the best performance RDC solution in the market.

–   RXV - X-optimism correction

Verix

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

       –   PCDC - gate-level multi-mode CDC

       –   SimFix - X-pessimism correction