LSIの大規模化に伴い、検証に要求されるタスクは高度化する一方です。実行すべきシナリオの組み合わせが増大し、適材適所の検証エンジンやツールの利用や、検証する過程でツールから発生される膨大なデータの活用が重要となります。

Cadence Verification は、高速な検証実行を可能にする、Jasper™フォーマル検証プラットフォーム、Xcelium™ ロジックシミュレータ、Palladium®エンタープライズ・エミュレーション・プラットフォーム、 Protium™ FPGAベース・プロトタイピング・プラットフォーム、Helium™ Virtual and Hybrid Studioに加え、Cadence Joint Enterprise Data and AI (JedAI) Platformと連携するVerisium™ AI-Driven Verification Platformによって検証者の悩みを解決します。