本ウェビナーは終了しました
半導体業界は、システミックな複雑性が増大するSysMooreの世界に突入しています。この世界でデザインの正当性を正しく漏れなく実証するのは至難の業です。機能バグの探索スペースが人知を超えるレベルに達するためです。複雑に入り組んだデザイン・ステートの中で、イリーガルなトランジションに到達するバグを本当に正確に特定できたのか?問題ない箇所を探し回る無駄足をどれだけ踏んだのか?苦労した挙句にカバレッジの抜けは残されてないのか?検証エンジニアの悩みは尽きません。
バグの95%は、スタティック検証/フォーマル検証/シミュレーションのステージで発見されます。AIの活用によって、このステージの生産性を爆発的に向上させることが成功へのカギを握っています。より早い段階で、より短時間に、より正確にバグを見つけ出すことこそ、現代の検証エンジニアのミッションです。
検証のTTRを数日単位から数時間単位へ、ターゲットを上回るカバレッジでQoRの向上を。先進のAIテクノロジをシノプシスが業界をリードする検証ソリューション VC Formal, Euclide, VC Formal, VCS, Verdiに組み込んだ次世代検証ソリューションをご確認ください。
ご参加は無料です。ぜひこの機会をお見逃しなく!
◆ アジェンダ
※ プログラムは変更される場合がございます。ご了承ください。
NEW 2022/6/27 - シノプシスが静的解析ソリューションCoverityを富士フイルムビジネスイノベーションに提供
2022/6/22 - シノプシス、NTT Application Security社の買収を完了
2022/06/16 - TSMC N6RFプロセス向けのシノプシスの新しいRF設計フローにより5G SoCの設計生産性が向上
2022/6/1 - シノプシス、マシンラーニングによるビッグデータ解析テクノロジを応用して、よりスマートなSoC設計の時代の幕を開く
2022/5/23 - シノプシスとアナログ・デバイセズ社、パワーシステム開発の効率化で協業
2022/5/19 - シノプシスによる調査の結果、ソフトウェア・サプライチェーンで使用されているオープンソース・コンポーネントに潜むリスクの管理にあたっての重要課題が明らかに