Real Intent 電子設計自動化工具 › 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