› 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