【日本語ウェビナー】

ベリフィケーションの新時代の幕開け：

AIベース検証ソリューション

半導体業界は、システミックな複雑性が増大するSysMooreの世界に突入しています。この世界でデザインの正当性を正しく漏れなく実証するのは至難の業です。機能バグの探索スペースが人知を超えるレベルに達するためです。複雑に入り組んだデザイン・ステートの中で、イリーガルなトランジションに到達するバグを本当に正確に特定できたのか？問題ない箇所を探し回る無駄足をどれだけ踏んだのか？苦労した挙句にカバレッジの抜けは残されてないのか？検証エンジニアの悩みは尽きません。

バグの95%は、スタティック検証/フォーマル検証/シミュレーションのステージで発見されます。AIの活用によって、このステージの生産性を爆発的に向上させることが成功へのカギを握っています。より早い段階で、より短時間に、より正確にバグを見つけ出すことこそ、現代の検証エンジニアのミッションです。

検証のTTRを数日単位から数時間単位へ、ターゲットを上回るカバレッジでQoRの向上を。先進のAIテクノロジをシノプシスが業界をリードする検証ソリューション VC Formal, Euclide, VC Formal, VCS, Verdiに組み込んだ次世代検証ソリューションをご確認ください。

ご参加は無料です。ぜひこの機会をお見逃しなく！
 

◆ アジェンダ

• 検証におけるチャンレンジと、AIベースのソリューション
• スタティック検証におけるAIテクノロジの活用
• フォーマル検証におけるAIテクノロジの活用
• シミュレーション及びデバッグにおけるAIテクノロジの活用
• QA

　※ プログラムは変更される場合がございます。ご了承ください。