PALTEK

ホーム > 取扱製品一覧 > Mentor Graphics/メンター・グラフィックス  > 製品情報 >  Questa  > Questa AutoCheck
製品情報 一覧へ戻る

Questa AutoCheck

誰もが陥りやすいコーディング上のバグを自動検出

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

特徴

  • RTLコードが準備でき次第読み込む – スティミュラスもテストベンチも不要で使い方が容易
  • ツール内部でプロパティを自動生成しフォーマル解析を実行
  • 完全自動でデッドコード、FSMライブロック/デッドロック、組合せループ、ライブネスなどを解析
  • デザインのシーケンシャルな振舞いを探索し、想定し得ないコーナーケースのバグを特定
  • 必要に応じてマニュアルで除外や制約を指定
  • 強力なデバッグ環境からソースコードやスケマティック、波形、ステートダイアグラムなどにリンクし、デバッグ生産性を向上

 

 

お見積もり・お問い合わせはこちらから!


関連情報
 

Mentor Graphics/メンター・グラフィックス

  • 製品情報
  • ニュースリリース
お問い合わせ
お問い合わせ・お見積り・資料請求
ModelSim ノウハウ資料ダウンロード
045-477-2009

このページの上部へ