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