Siemens EDA/シーメンス EDA
誰もが陥りやすいコーディング上のバグを自動検出
Questa AutoCheckは完全自動化されたバグ・ハンティングのアプリケーションで、誰もが陥りやすい数多くのコーディング上のバグを最小の労力で検出します。テストパターンもアサーションも必要ないため、RTLコードの記述が終わった時点ですぐにフォーマル検証を開始できます。Questa AutoCheckはセルフテストを行う設計者にとって有効なツールです。テストベンチやテストパターンができるのを待つのではなく、設計コードを記述したら、その機能の正当性をすぐに検証し始めることができるからです。