IPケイデンスのフォーマル検証テクノロジーは、アサーション・ベースのメソドロジを提供し、テストベクターなしで迅速かつ予測可能なRTL立ち上げを実現します。フォーマル検証は網羅的でテストベンチを必要とせず、早期段階において他の検証方法と比較してより多くのバグを検出することで、数カ月の検証期間を省き、設計の品質を向上させることができます。弊社の新しいJasper®テクノロジーでは、今までより広範囲の設計実証済みアプリを、独自のVisualizeTM対話型デバッグ環境とともに提供します。これによりケイデンスのフォーマル検証の生産性が向上し、さらに採用しやすくなりました。