- シリコン設計および検証
- 製品
- ソリューション
- リソース
- サービス
- コミュニティ
- トレーニング
- ソフトウェア・インテグリティ
- ツールとサービス
- 統合
- ソリューション
- トレーニングと研修
- リソース
- Blog
- 会社
- 会社
- 投資家情報
- コミュニティ
- ニュースルーム
- リソース
- 採用情報
【VC Formal ウェビナー】
VC Formal SEQ による
シーケンシャル等価性検証のご紹介
フォーマル検証ツール VC Formal には、検証を効率的に行うことが可能な、さまざまなアプリケーションがあります。
その中のひとつであるシーケンシャル等価性検証 (SEQ:Sequential Equivalence Checking) についてご紹介いたします。
シーケンシャル等価性検証(SEQ)では、Formality では検証が難しかったレジスタ・リタイミング、パワー最適化のためのクロック・ゲートの挿入など、内部の順序回路の構成が異なるケースにおいても等価検証が可能です。
また、ユーザーによる SVA 実装は不要で、2つの RTL とシンプルな実行スクリプトだけで簡単に検証を行うことができます。
本ウェビナーでは VC Formal SEQ の概要から具体的な実施方法、さらには収束問題の対応方法まで、シーケンシャル等価性検証のフロー全体をご紹介いたします。
フォーマル検証を使用した検証品質ならびに効率向上にご興味のある方は、ぜひともご参加ください。
◆ アーカイブ公開中 (8/6まで)
※ご視聴にはご登録が必要です。ご登録後にご視聴案内メールを送信いたします。
※お申込みはご勤務先のEmailをご入力ください。
◆ アジェンダ
- VC Formal SEQ 概要
- SEQ のユースケース紹介
- 検証実施方法（スクリプト等）
- 収束問題の対応方法
- デモ
- Q&A
※ プログラムは変更される場合がございます。ご了承ください。
NEW 2021/7/27 - シノプシス、新機能 Rapid Scanにより アプリケーション・セキュリティ・テスト・ソリューションを強化
2021/6/21 - シノプシス、BISTel社から半導体ならびにフラットパネル・ディスプレイ製造関連ソリューションを買収
2021/6/9 - シノプシス、新しいアプリケーション・セキュリティ・オーケストレーション・ソリューションを発表
2021/6/8 - シノプシス、Code Dx社の買収によりアプリケーション・セキュリティ・ソリューションを強化
2021/6/3 - シノプシス、業界で最もローレイテンシのDie-to-Die Controller IPの提供によりマルチダイ・ソリューションのリーダーシップを強化
2021/6/1 - シノプシス、アプリケーション・セキュリティ・テストに関するガートナー社のマジック・クアドラント評価 2021で、“リーダー”に5年連続で指名される