RTL設計スタイルガイドの検査をする道具にspyglassがある。この道具を演習で用いる際の使い方の補助教材。例はVerilog-HDL

1. spyglass の使い方
Verilog-HDL 版
２０１ 3
名古屋市工業研究所 小川清
2010/09/14
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
1

2. Spyglass
ASIC 開発で用いる検査器
STARC RTL 設計スタイルガイドにも対応
複雑な設定をしなくても検査できる
コンパイル、シミュレーションで何がなんだか分
からないときに、間違いや、あいまいなところを
指摘してくれる
外にプログラムを発注するときの納品基準の基に
できる
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
2010/09/14

3. spyglass の起動 (Windows 端末 )
Xwindow アプリ：
Xming(X Window エミュ
レータ）
config.xlaunch （ Xl
aunch で生成）
ログイン： ID とパス
ワード入力
作業用フォルダ作成
dataVerilogHDL2
0110201
Windows とのファイル
交換
Ffftp 利用
起動
spyglass –verilog &
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
2010/09/14

4. SpyGlass の入出力

5. 検査項目の選択
Setup メニュー
Policies/Rules/Parameters
Spyglas 専用ルール
STARC RTL 設計スタイル
ガイド
３種類用意されている。
初めて使う場合は２００
５
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
2010/09/14

6. 初期
設定

7. STARC RTL 設計スタイルガイド
設定

8. デザイン（プロジェクト）フォルダ
の設定
Setup
Setup Working Directory
… をクリックするとフォルダが変えられる
Change を押して変更
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
2010/09/14

9. ファイルの追加
Setup
Source
左の窓でフォルダを移動
複数ファイルを選択可能： ADD を押して追加

10. 検査
メニューの
RUN を選ぶ
Analysis
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
2010/09/14

11. 検査結果
画面
の下
に表
示
MSG
Summ
ary の
タブ
を押
す
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
2010/09/14

12. 警告の修正
警告をクリックする
とファイルの該当行
を表示
必要があればその行
またはそれより上の
行を修正する。場合
によっては古いファ
イルはフォルダごと
コピーしておく
Edit メニューの Edit
Current Display file
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
2010/09/14

13. 保存と再検査
修正後 File メニューの Save で保存する。
Run->Analisys を選んで再検査

14. 結果の保存フォルダ
spyglass_reports
Spyglass_spysch
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
2010/09/14

15. 修正の鍵
全部の警告を無くす必要があるとは限らない
修正する際に方針を確立する
命名規則
数字は０からはじめるか、１から始めるか
階層名と階層名の間はつめるのか＿を使うのか
既定 (default) で代入する値
修正前と修正後のファイルは必ず残す
警告ファイルも残しておくとよい
Alint との出力の違い
複数の道具を使って比較すると考える時間が短縮可能
(c)ogawa.kiyoshi@nmiri.city.nagoya.jp
2010/09/14

16. オンラ
イン文
書
ファイル名を選択し Open ボタ
ン
コマンドラインでの簡単な操
作
SpyGlassQuickGuide.pdf
基本マニュアル
PredictiveAnalyzerUserGuide.pdf