テストベンチ不要のフォーマル検証

構造的な問題を検出するために、フォーマル検証の技術を使ってチェックをおこないます。これにより、テストベンチは必要なく、RTL さえあれば、すぐに実行でき、早期に検証が可能です。

アサーション記述不要のフォーマル検証

フォーマル検証に必要なアサーションもチェック項目に応じて自動生成されるため、フォーマル検証やアサーションの知識がなくても、簡単にデザインの構造的なチェックをおこなうことができます。

サイクル概念を持ち機能を探索

リントチェックは再利用性の確認や論理合成前のプリチェックが主な目的であり、コードスタイルやキャラクター（HDL）ベースでのチェックをおこないます。それに対して、AutoCheck では回路に対するルール違反などのチェックをおこないます。AutoCheck はサイクル概念をもって回路の探索をおこなっているという点がリント・チェックとの違いで、リントでは検出できないバグも検出可能です。