ベリフィケーションは、いまやチップ開発プロセスで最も困難な課題の一つとなっています。
チップのシステミックな複雑性の増大に伴い、機能バグの探索スペースが人知を超えるレベルに達するためです。
そんな中でもベリフィケーション・エンジニアは、検証精度（QoR）、検証期間（TTR）、検証コスト（CoR）の全てを満足させる結果を出さなけばいけません。
AI/マシンラーニング・テクノロジが、これらの問題を解決します。
本セッションでは、これからのベリフィケーションに待ち受ける主要な課題と、それらをAIパワーいかにして解決するかについて概観し、シノプシスのベリフィケーション・ソリューションがご提供する機能のいくつかについてご説明いたします。
