› Real Intent

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

Back to top