アサーション自動生成ツール BugScope のご紹介

無料オンラインセミナー: 「アサーション自動生成ツール
BugScope のご紹介」
SpyGlass ユーザの皆様、
12/16(火)に無料オンラインセミナー「アサーション自動生成ツール BugScope のご紹介」を開催いたしま
す。今回の SpyGlass News ではセミナーの案内を兼ねて、BugScope のアサーション自動生成の概要をご
紹介いたします。ご興味を持たれた方は、メール末尾の手順に沿ってお申込みください。
目次
1. BugScope のアサーション自動生成
2. 無料オンラインセミナー
3. 過去のセミナーの資料入手方法
BugScope のアサーション自動生成
アサーション自動生成とは？
BugScope によるアサーション自動生成
Atrenta 社の BugScope はアサーション自動生成を行う EDA ツールです。アサーション・ベース検証は、
アサーションの学習や作成工数が負担ですが、BugScope によるアサーション自動生成により、アサーシ
ョン・ベース検証をスムーズに設計フローに取り入れる事ができます。
BugScope は RTL デザインとシミュレーション波形を入力とし、シミュレーション結果から観測される論理を
プロパティとして出力します。この事をアサーション自動生成と呼んでいます。例えば、入力として与えた
シミュレーション波形の全体にわたって「load という信号が 1 の時は、read という信号も 1 になっている」
という事実が成立している場合、以下のプロパティが生成されます。
load |-> read
出力されたプロパティは設計者の意図に合わせさまざまな手法で利用されます。
BugScope により自動生成されたアサーションの活用方法
BugScope から自動生成されたアサーションをさまざまなシチュエーションで利用する方法を紹介します。
IP 開発
IP 開発フローにおいて、検証の進捗を計るための ProgressiveApp や検証漏れをチェックするために
生成されたプロパティを活用して行きます。生成されるプロパティはレベル付けされており検証の進
捗に合わせて取捨選択をしていきます。
IP/SoC インテグレーション
このフローは“MARS”フローとも呼ばれ、IP 開発で作成されたアサーションをもとに、SoC レベルでイ
ンテグレーションエラーや、設計意図の不一致などを効果的に検出して行きます。また IP レベルで
の検証漏れもこのフローで確認ができ、IP 設計者と SoC 設計者間の共通した仕様として活用できま
す。
検証アプローチ
生成されたアサーションを使って様々な検証に活用して行きます。リグレッションテストのテストベン
チグレーディングや、カバレッジアナリシス、エミュレータを使った検証時へのアサーション組み込み
など、さまざまな検証のシチュエーションで活用します。
実設計の経験に基づくプロパティの有効活用
BugScope は既に米国の大手半導体メーカーを始め複数のユーザー様に３年以上実設計でお使いいた
だいている実績があり、その中で、設計者の声をフィードバックし有効に活用できる様に改良されてきま
した。
セミナーでは実際に使用された実績や、活用方法などをご紹介いたします。
無料オンラインセミナー
アサーション自動生成ツール BugScope のご紹介


日時 : 12 月 16 日(火) 11:00～12:00
申し込み方法
下記リンクからオンラインで登録をお願いします。
セミナー登録ページ（登録ページは英語ですがセミナーは日本語です）

コース内容
o BugScope によるアサーション自動生成とは？
 自動生成されたアサーションの例
o BugScope により自動生成されたアサーションの活用方法
 IP 開発
 IP/SoC インテグレーション
 検証アプローチ
過去のセミナーの資料入手方法
過去に行ったオンラインセミナーの資料をご希望の方は、以下の要領で email でご連絡ください



宛先：[email protected]
件名：オンラインセミナー資料希望
本文にどのセミナーの資料をご希望かをお書きください（複数書いていただいて結構です）
例：「SpyGlass Advanced Lint 無料セミナーの資料希望」
過去に行ったセミナーについては、SpyGlass News のバックナンバー一覧からご確認いただけます
本メールは、SpyGlass News 登録者および Atrenta Support Portal 登録者宛に発信しております。
メール配信の停止を希望される御客様は [email protected] まで、御連絡を御願い致します。
Atrenta K.K.
Shin-Yokohama 3-17-5 | Kouhoku-ku | Yokohama-shi | Japan | 222-0033
Phone: +81-45-470-3803 | Direct: +81-45-470-3930 | Fax: +81-45-470-3805
© 2013 Atrenta Inc. All rights reserved. Atrenta, the Atrenta logo, SpyGlass and GenSys are registered trademarks of Atrenta Inc. All others are the
property of their respective holders.

Download Report