Functional Verification

フォーマル解析

製品の品質を向上させると同時に設計と検証の時間を短縮するためには、テストベンチのシミュレーションの必要なくアサーションを用いてRTLの機能的な正しさを検証する、フォーマルな手法が必要です。ケイデンスのフォーマル解析テクノロジは、テストベクタを用いずにアサーションベースの検証を行うことが可能となり、テストベンチ・シミュレーションに較べて何ヶ月前倒しに検証を開始することが可能となります。