本製品は、論理シミュレーションにおいてX値と関連した非決定論を取り扱う固有の制限を効果的に解決するための包括的なソリューションを提供するSimXACT。ALINT-PROアルデック・ジャパン(株)【ALINT-PRO】は、コーディングスタイルと命名規則、RTLと合成結果のシミュレーション不一致、スムーズで最適な合成、正しいFSM記述、設計の後工程での問題、クロックおよびリセットツリーの問題、CDC、RDC、DFT、およびポータビリティと再利用のためのコーディングなどを中心に、VHDL、Verilog、SystemVerilogで記述されたRTLコードを解析する検証ソリューション。4.2】は、汎用性のある高性能FPGAオンチップデバッガ。デバッグIPの規模が小さく、多くの種類のデバッグIPをデザインに組込み、詳細に観測することが可能。デバッグIPの種類はシリアルトリガ、パラレルトリガ、グリッチなど標準で9種類あり、自由な組合せにより、開発の効率化が図れる。本製品は、AMBAベースのデザインのベリフィケーションをサポートするAMBA-Xactor。ランダムなカスタムメイドのテストによりユーザーのデザインをベリファイできる。マスター、スレーブ、すべてのバス幅のインターコネクトトポロジーをサポート。主な機能は、SYSTEMVERILOG環境、プロトコルチェッキング、バス・トラッカー、テストスイート。テスト、低電力モード動作のすべての広範囲な検証を実現。CSI-Xactor、DSC-Xactor。テスト、低電力モード動作のすべての広範囲な検証を実現。VIPポートフォリオ。100%自社のSystemVerilogとUVMで構成。