本ウェビナーは終了いたしました
フォーマル検証ツール VC Formal には、検証を効率的に行うことが可能な、さまざまなアプリケーションがあります。
その中のひとつであるシーケンシャル等価性検証 (SEQ:Sequential Equivalence Checking) についてご紹介いたします。
シーケンシャル等価性検証(SEQ)では、Formality では検証が難しかったレジスタ・リタイミング、パワー最適化のためのクロック・ゲートの挿入など、内部の順序回路の構成が異なるケースにおいても等価検証が可能です。
また、ユーザーによる SVA 実装は不要で、2つの RTL とシンプルな実行スクリプトだけで簡単に検証を行うことができます。
本ウェビナーでは VC Formal SEQ の概要から具体的な実施方法、さらには収束問題の対応方法まで、シーケンシャル等価性検証のフロー全体をご紹介いたします。
フォーマル検証を使用した検証品質ならびに効率向上にご興味のある方は、ぜひともご参加ください。
◆ アジェンダ
※ プログラムは変更される場合がございます。ご了承ください。
NEW 2022/5/19 - シノプシスによる調査の結果、ソフトウェア・サプライチェーンで使用されているオープンソース・コンポーネントに潜むリスクの管理にあたっての重要課題が明らかに
2022/4/27 - シノプシス、NTTからNTT Application Security社を買収
2022/4/22 - シノプシス、アプリケーション・セキュリティ・テストに関するガートナー社のマジック・クアドラント評価 2022で、“リーダー”に6年連続で指名される
2022/04/19 - シノプシス、業界最高速のニューラル・プロセッサIPの提供を開始
2022/3/30 - シノプシス、幅広い選択肢を提供する業界初のクラウドSaaSソリューションの提供を開始。チップ開発環境の風景が一変
2022/3/8 - シノプシス、セキュアなソフトウェア開発を支援するCode Sight Standard Editionの提供を開始