​SimXACT

false Xのノイズを動的かつ自動的に除去し、その他の一般的な問題を検出します。ゲートシミュレーションテストにてFailとなる本来の X の原因の根本的に引き起こしてるソースを検出するユーティリティです。

​

Verification IP

モデル検証、プロトコール検証、コンプライアンス・テストスイート、​UVM（標準化団体のAccellera Systems Initiativeが策定したUniversal Verification Methodology）などの検証IP(VIP)のポートフォリオです。

​

​SimAccel

XILINX FPGA上でシミュレーション検証、協調エミュレーション、プロトタイプ、デバッグを提供します。100~1000倍の高速RTLシミュレーションが可能になります。

​

SimCluster

SDFベースのゲートレベルの並列シミュレーションにより、3~5倍の検証時間を短縮できます。Xcellium、VCS、Questaで、テストベンチ、SDF、DUT設計の変更なしでシミュレーションができます。