セーフティクリティカルシステムでは要件ベース検証は一般的ですが、要件の品質と精度に左右されます。アサーションベース検証を用いた制約付きランダム検証などの検証手法は、検証プロセスの早期に曖昧な要件や不完全な要件を特定する事に役立ちます。本セミナーでは、設計要件から検出した要件に対する検証アプローチをアサーション主体でご紹介します。
