
Questa Lint
Questa Lintは、品質要件と意図が満たされていることを確認するために、適応性のある統合された洞察を設計者に提供します。事前に設定された方法論により、設計上の問題について即時かつ直感的なフィードバックが得られます。
Questa Signoff CDC は、ゲートレベルの分析に最適化された自動化された高度な構造分析アルゴリズムを使用しています。また、Questa CDC RTL分析からのウェイバーとCDCパス情報を自動的に活用して、正確な「低ノイズ」の結果を得ています。
Questa Signoff CDC は、自動的に生成されたアサーションについて詳細な形式分析を行い、構造的、機能的、形式的なアルゴリズムを統合してゲートレベルのCDC構造を検証し、合成と実装の過程で発生する可能性のある不具合を自動的に特定します。
CDC、Lint、RDCのビデオ録画をすべて視聴できます 検証アカデミー。
検証アカデミーは、組織の機能検証プロセスの能力を成熟させるために必要なスキルを提供し、高レベルのバリュープロポジションと低レベルの詳細をつなぐ方法論的な橋渡しをします。
Verification Horizonsの出版物には、高度な機能検証技術で何ができるか、そしてそれらを最も効果的に適用する方法を理解するのに役立つ概念、価値、方法論、例が掲載されています。