
Questa Lint
Questa Lintは、品質要件と意図が満たされていることを確認するために、適応性のある統合された洞察を設計者に提供します。事前に設定された方法論により、設計上の問題について即時かつ直感的なフィードバックが得られます。
Questa Signoff CDC は、クロックとクロック分配戦略を自動的に識別し、セットアップ時間を最小限に抑えます。ゲートレベルの設計とQuesta CDCのRTLレベルの結果を読むだけで、Questa Signoff CDC がゲートレベルのCDCの潜在的な問題をすべて特定します。テストベンチは必要ありません。
私たちの営業チームに連絡してください:1-800-547-3000

Questa Signoff CDC は、ゲートレベルの分析に最適化された自動化された高度な構造分析アルゴリズムを使用しています。また、Questa CDC RTL分析からのウェイバーとCDCパス情報を自動的に活用して、正確な「低ノイズ」の結果を得ています。
Questa Signoff CDC は、自動的に生成されたアサーションについて詳細な形式分析を行い、構造的、機能的、形式的なアルゴリズムを統合してゲートレベルのCDC構造を検証し、合成と実装の過程で発生する可能性のある不具合を自動的に特定します。
CDC、Lint、RDCのビデオ録画をすべて視聴できます 検証アカデミー。
Verification Horizonsの出版物には、高度な機能検証技術で何ができるか、そしてそれらを最も効果的に適用する方法を理解するのに役立つ概念、価値、方法論、例が掲載されています。