Siemens EDA/シーメンス EDA

Questa AutoCheck

【3/15開催*10万ページビュー 記念特別無償開催*】ModelSimウェビナー ~ 一連の操作を学ぶ入門編 ~

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

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

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

概要

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

シーメンス EDAのことなら
PALTEKにご相談ください!

シーメンス EDAのことならPALTEKにご相談ください!

シーメンス EDA製品の
お問い合わせ

03-5479-7025

株式会社PALTEK デザインサービス事業部
シーメンス EDA製品サポート窓口