Enviar pesquisa
Carregar
Starc RTL設計スタイルガイドの検査道具spyglassの使い方
•
Transferir como PPT, PDF
•
0 gostou
•
6,390 visualizações
Kiyoshi Ogawa
Seguir
RTL設計スタイルガイドの検査をする道具にspyglassがある。この道具を演習で用いる際の使い方の補助教材。例はVerilog-HDL
Leia menos
Leia mais
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 16
Baixar agora
Recomendados
STARC RTL設計スタイルガイドによるVerilog HDL並列記述の補強
STARC RTL設計スタイルガイドによるVerilog HDL並列記述の補強
Kiyoshi Ogawa
Gpu vs fpga
Gpu vs fpga
Yukitaka Takemura
オープンソースからの高位合成によるORB-SLAM FPGA実装
オープンソースからの高位合成によるORB-SLAM FPGA実装
直久 住川
0円でできる自宅InfiniBandプログラム
0円でできる自宅InfiniBandプログラム
Minoru Nakamura
ドメイン駆動設計 ( DDD ) をやってみよう
ドメイン駆動設計 ( DDD ) をやってみよう
増田 亨
KiCadで雑に基板を作る チュートリアル
KiCadで雑に基板を作る チュートリアル
裕士 常田
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
Takateru Yamagishi
Uart受信設計2013
Uart受信設計2013
Kiyoshi Ogawa
Recomendados
STARC RTL設計スタイルガイドによるVerilog HDL並列記述の補強
STARC RTL設計スタイルガイドによるVerilog HDL並列記述の補強
Kiyoshi Ogawa
Gpu vs fpga
Gpu vs fpga
Yukitaka Takemura
オープンソースからの高位合成によるORB-SLAM FPGA実装
オープンソースからの高位合成によるORB-SLAM FPGA実装
直久 住川
0円でできる自宅InfiniBandプログラム
0円でできる自宅InfiniBandプログラム
Minoru Nakamura
ドメイン駆動設計 ( DDD ) をやってみよう
ドメイン駆動設計 ( DDD ) をやってみよう
増田 亨
KiCadで雑に基板を作る チュートリアル
KiCadで雑に基板を作る チュートリアル
裕士 常田
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
Takateru Yamagishi
Uart受信設計2013
Uart受信設計2013
Kiyoshi Ogawa
外部キー制約に伴うロックの小話
外部キー制約に伴うロックの小話
ichirin2501
できる!並列・並行プログラミング
できる!並列・並行プログラミング
Preferred Networks
高位合成でDeep learning
高位合成でDeep learning
Mori Labo.
並行実行制御の最適化手法
並行実行制御の最適化手法
Sho Nakazono
地理分散DBについて
地理分散DBについて
Kumazaki Hiroki
Halide による画像処理プログラミング入門
Halide による画像処理プログラミング入門
Fixstars Corporation
いまさら聞けない!CUDA高速化入門
いまさら聞けない!CUDA高速化入門
Fixstars Corporation
SSII2019TS: 実践カメラキャリブレーション ~カメラを用いた実世界計測の基礎と応用~
SSII2019TS: 実践カメラキャリブレーション ~カメラを用いた実世界計測の基礎と応用~
SSII
Sql server 運用 101
Sql server 運用 101
Masayuki Ozawa
NAND Flash から InnoDB にかけての話(仮)
NAND Flash から InnoDB にかけての話(仮)
Takanori Sejima
より速く より運用しやすく 進化し続けるJVM(Java Developers Summit Online 2023 発表資料)
より速く より運用しやすく 進化し続けるJVM(Java Developers Summit Online 2023 発表資料)
NTT DATA Technology & Innovation
CUDA 6の話@関西GPGPU勉強会#5
CUDA 6の話@関西GPGPU勉強会#5
Yosuke Onoue
僕のIntel nucが起動しないわけがない
僕のIntel nucが起動しないわけがない
Takuya ASADA
Tackling Complexity
Tackling Complexity
Yoshitaka Kawashima
リッチなドメインモデル 名前探し
リッチなドメインモデル 名前探し
増田 亨
ダブル配列の実装方法
ダブル配列の実装方法
Higashiyama Masahiko
Tensor flow usergroup 2016 (公開版)
Tensor flow usergroup 2016 (公開版)
Hiroki Nakahara
NEDIA_SNIA_CXL_講演資料.pdf
NEDIA_SNIA_CXL_講演資料.pdf
Yasunori Goto
[Cloud OnAir] GCP 上でストリーミングデータ処理基盤を構築してみよう! 2018年9月13日 放送
[Cloud OnAir] GCP 上でストリーミングデータ処理基盤を構築してみよう! 2018年9月13日 放送
Google Cloud Platform - Japan
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
T. Suwa
DAS_202109
DAS_202109
Takefumi MIYOSHI
Windows 8 Developers カンファレンス
Windows 8 Developers カンファレンス
Kaoru NAKAMURA
Mais conteúdo relacionado
Mais procurados
外部キー制約に伴うロックの小話
外部キー制約に伴うロックの小話
ichirin2501
できる!並列・並行プログラミング
できる!並列・並行プログラミング
Preferred Networks
高位合成でDeep learning
高位合成でDeep learning
Mori Labo.
並行実行制御の最適化手法
並行実行制御の最適化手法
Sho Nakazono
地理分散DBについて
地理分散DBについて
Kumazaki Hiroki
Halide による画像処理プログラミング入門
Halide による画像処理プログラミング入門
Fixstars Corporation
いまさら聞けない!CUDA高速化入門
いまさら聞けない!CUDA高速化入門
Fixstars Corporation
SSII2019TS: 実践カメラキャリブレーション ~カメラを用いた実世界計測の基礎と応用~
SSII2019TS: 実践カメラキャリブレーション ~カメラを用いた実世界計測の基礎と応用~
SSII
Sql server 運用 101
Sql server 運用 101
Masayuki Ozawa
NAND Flash から InnoDB にかけての話(仮)
NAND Flash から InnoDB にかけての話(仮)
Takanori Sejima
より速く より運用しやすく 進化し続けるJVM(Java Developers Summit Online 2023 発表資料)
より速く より運用しやすく 進化し続けるJVM(Java Developers Summit Online 2023 発表資料)
NTT DATA Technology & Innovation
CUDA 6の話@関西GPGPU勉強会#5
CUDA 6の話@関西GPGPU勉強会#5
Yosuke Onoue
僕のIntel nucが起動しないわけがない
僕のIntel nucが起動しないわけがない
Takuya ASADA
Tackling Complexity
Tackling Complexity
Yoshitaka Kawashima
リッチなドメインモデル 名前探し
リッチなドメインモデル 名前探し
増田 亨
ダブル配列の実装方法
ダブル配列の実装方法
Higashiyama Masahiko
Tensor flow usergroup 2016 (公開版)
Tensor flow usergroup 2016 (公開版)
Hiroki Nakahara
NEDIA_SNIA_CXL_講演資料.pdf
NEDIA_SNIA_CXL_講演資料.pdf
Yasunori Goto
[Cloud OnAir] GCP 上でストリーミングデータ処理基盤を構築してみよう! 2018年9月13日 放送
[Cloud OnAir] GCP 上でストリーミングデータ処理基盤を構築してみよう! 2018年9月13日 放送
Google Cloud Platform - Japan
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
T. Suwa
Mais procurados
(20)
外部キー制約に伴うロックの小話
外部キー制約に伴うロックの小話
できる!並列・並行プログラミング
できる!並列・並行プログラミング
高位合成でDeep learning
高位合成でDeep learning
並行実行制御の最適化手法
並行実行制御の最適化手法
地理分散DBについて
地理分散DBについて
Halide による画像処理プログラミング入門
Halide による画像処理プログラミング入門
いまさら聞けない!CUDA高速化入門
いまさら聞けない!CUDA高速化入門
SSII2019TS: 実践カメラキャリブレーション ~カメラを用いた実世界計測の基礎と応用~
SSII2019TS: 実践カメラキャリブレーション ~カメラを用いた実世界計測の基礎と応用~
Sql server 運用 101
Sql server 運用 101
NAND Flash から InnoDB にかけての話(仮)
NAND Flash から InnoDB にかけての話(仮)
より速く より運用しやすく 進化し続けるJVM(Java Developers Summit Online 2023 発表資料)
より速く より運用しやすく 進化し続けるJVM(Java Developers Summit Online 2023 発表資料)
CUDA 6の話@関西GPGPU勉強会#5
CUDA 6の話@関西GPGPU勉強会#5
僕のIntel nucが起動しないわけがない
僕のIntel nucが起動しないわけがない
Tackling Complexity
Tackling Complexity
リッチなドメインモデル 名前探し
リッチなドメインモデル 名前探し
ダブル配列の実装方法
ダブル配列の実装方法
Tensor flow usergroup 2016 (公開版)
Tensor flow usergroup 2016 (公開版)
NEDIA_SNIA_CXL_講演資料.pdf
NEDIA_SNIA_CXL_講演資料.pdf
[Cloud OnAir] GCP 上でストリーミングデータ処理基盤を構築してみよう! 2018年9月13日 放送
[Cloud OnAir] GCP 上でストリーミングデータ処理基盤を構築してみよう! 2018年9月13日 放送
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
Semelhante a Starc RTL設計スタイルガイドの検査道具spyglassの使い方
DAS_202109
DAS_202109
Takefumi MIYOSHI
Windows 8 Developers カンファレンス
Windows 8 Developers カンファレンス
Kaoru NAKAMURA
2010年11月27日土曜日FlexUserGroup勉強会 第125回 京都 Flex & Google App Engine for Java & ...
2010年11月27日土曜日FlexUserGroup勉強会 第125回 京都 Flex & Google App Engine for Java & ...
Sadao Tokuyama
Windows Azure and PowerShell DSC
Windows Azure and PowerShell DSC
Kazuki Takai
Microsoft AI Solution Update / DLL community Update
Microsoft AI Solution Update / DLL community Update
Hirono Jumpei
220523JS7.pdf
220523JS7.pdf
OSSラボ株式会社
[Developers Summit 2018] Microsoft AIプラットフォームによるインテリジェント アプリケーションの構築
[Developers Summit 2018] Microsoft AIプラットフォームによるインテリジェント アプリケーションの構築
Naoki (Neo) SATO
Microsoft AI セミナー - Microsoft AI Platform
Microsoft AI セミナー - Microsoft AI Platform
Daiyu Hatakeyama
CEDEC2021 Android iOS 実機上での自動テストをより楽に有意義にする為に ~端末管理・イメージ転送・動画記録等の周辺情報のノウハウ共有~
CEDEC2021 Android iOS 実機上での自動テストをより楽に有意義にする為に ~端末管理・イメージ転送・動画記録等の周辺情報のノウハウ共有~
SEGADevTech
Android/iOS端末におけるエッジ推論のチューニング
Android/iOS端末におけるエッジ推論のチューニング
Deep Learning Lab(ディープラーニング・ラボ)
Xilinx2013d
Xilinx2013d
Kiyoshi Ogawa
AWS を活用して小さなチームで 世界で使われるサービスを運用する方法 - JAWS Days 2013
AWS を活用して小さなチームで 世界で使われるサービスを運用する方法 - JAWS Days 2013
Takashi Someda
AZAREA-Cluster (Hadoop Conference Japan 2013 Winter Demo Image)
AZAREA-Cluster (Hadoop Conference Japan 2013 Winter Demo Image)
AzareaCluster
INF-010_そのログ、ただ集めているだけではありませんか? ~IT 運用の世界にも Big Data の活用を!~
INF-010_そのログ、ただ集めているだけではありませんか? ~IT 運用の世界にも Big Data の活用を!~
decode2016
201312 scalr[oss] installation_idcf
201312 scalr[oss] installation_idcf
IDC Frontier
SCALR OSS版のインストール手順のご紹介 20131204 01
SCALR OSS版のインストール手順のご紹介 20131204 01
Haruhiko KAJIKAWA
Real World Android Akka - 日本語版
Real World Android Akka - 日本語版
Taisuke Oe
20140517 knockoutjs hands-on
20140517 knockoutjs hands-on
Seiji Noro
Use JWT access-token on Grails REST API
Use JWT access-token on Grails REST API
Uehara Junji
Durable Functions (Core) 気になっていたことを勉強がてら実装してみた
Durable Functions (Core) 気になっていたことを勉強がてら実装してみた
朋志 佐々木
Semelhante a Starc RTL設計スタイルガイドの検査道具spyglassの使い方
(20)
DAS_202109
DAS_202109
Windows 8 Developers カンファレンス
Windows 8 Developers カンファレンス
2010年11月27日土曜日FlexUserGroup勉強会 第125回 京都 Flex & Google App Engine for Java & ...
2010年11月27日土曜日FlexUserGroup勉強会 第125回 京都 Flex & Google App Engine for Java & ...
Windows Azure and PowerShell DSC
Windows Azure and PowerShell DSC
Microsoft AI Solution Update / DLL community Update
Microsoft AI Solution Update / DLL community Update
220523JS7.pdf
220523JS7.pdf
[Developers Summit 2018] Microsoft AIプラットフォームによるインテリジェント アプリケーションの構築
[Developers Summit 2018] Microsoft AIプラットフォームによるインテリジェント アプリケーションの構築
Microsoft AI セミナー - Microsoft AI Platform
Microsoft AI セミナー - Microsoft AI Platform
CEDEC2021 Android iOS 実機上での自動テストをより楽に有意義にする為に ~端末管理・イメージ転送・動画記録等の周辺情報のノウハウ共有~
CEDEC2021 Android iOS 実機上での自動テストをより楽に有意義にする為に ~端末管理・イメージ転送・動画記録等の周辺情報のノウハウ共有~
Android/iOS端末におけるエッジ推論のチューニング
Android/iOS端末におけるエッジ推論のチューニング
Xilinx2013d
Xilinx2013d
AWS を活用して小さなチームで 世界で使われるサービスを運用する方法 - JAWS Days 2013
AWS を活用して小さなチームで 世界で使われるサービスを運用する方法 - JAWS Days 2013
AZAREA-Cluster (Hadoop Conference Japan 2013 Winter Demo Image)
AZAREA-Cluster (Hadoop Conference Japan 2013 Winter Demo Image)
INF-010_そのログ、ただ集めているだけではありませんか? ~IT 運用の世界にも Big Data の活用を!~
INF-010_そのログ、ただ集めているだけではありませんか? ~IT 運用の世界にも Big Data の活用を!~
201312 scalr[oss] installation_idcf
201312 scalr[oss] installation_idcf
SCALR OSS版のインストール手順のご紹介 20131204 01
SCALR OSS版のインストール手順のご紹介 20131204 01
Real World Android Akka - 日本語版
Real World Android Akka - 日本語版
20140517 knockoutjs hands-on
20140517 knockoutjs hands-on
Use JWT access-token on Grails REST API
Use JWT access-token on Grails REST API
Durable Functions (Core) 気になっていたことを勉強がてら実装してみた
Durable Functions (Core) 気になっていたことを勉強がてら実装してみた
Mais de Kiyoshi Ogawa
Misracompliant20162020
Misracompliant20162020
Kiyoshi Ogawa
High Quality Design with Hcd and hazop
High Quality Design with Hcd and hazop
Kiyoshi Ogawa
Deep learningwithgithubanddocker
Deep learningwithgithubanddocker
Kiyoshi Ogawa
Deep learningwithgithubanddocker
Deep learningwithgithubanddocker
Kiyoshi Ogawa
Nagoya2018
Nagoya2018
Kiyoshi Ogawa
Hazop tokyo201809
Hazop tokyo201809
Kiyoshi Ogawa
Who like C++ coding standard
Who like C++ coding standard
Kiyoshi Ogawa
Who enjoy a coding standard? ver. 0.30
Who enjoy a coding standard? ver. 0.30
Kiyoshi Ogawa
Who enjoy a coding standard? ver. 0.20
Who enjoy a coding standard? ver. 0.20
Kiyoshi Ogawa
Who enjoy a coding standard?
Who enjoy a coding standard?
Kiyoshi Ogawa
機械と標準
機械と標準
Kiyoshi Ogawa
TOPPERS as an IoT OS(kernel)
TOPPERS as an IoT OS(kernel)
Kiyoshi Ogawa
How can we resolve problems.
How can we resolve problems.
Kiyoshi Ogawa
Datamining Introduction using R with Raspbian on Raspberry Pi 3B.
Datamining Introduction using R with Raspbian on Raspberry Pi 3B.
Kiyoshi Ogawa
Hazop Safety and Security at Fukui 2017(2/2)
Hazop Safety and Security at Fukui 2017(2/2)
Kiyoshi Ogawa
Hazop Safety and Security at Fukui 2017(1/2)
Hazop Safety and Security at Fukui 2017(1/2)
Kiyoshi Ogawa
Hazop and triz by/of/for the children(3/3)
Hazop and triz by/of/for the children(3/3)
Kiyoshi Ogawa
Hazop and triz by/of/for the children(2/3)
Hazop and triz by/of/for the children(2/3)
Kiyoshi Ogawa
Hazop and triz by/of/for the children(1/3)
Hazop and triz by/of/for the children(1/3)
Kiyoshi Ogawa
Raspberrypitraining20171027
Raspberrypitraining20171027
Kiyoshi Ogawa
Mais de Kiyoshi Ogawa
(20)
Misracompliant20162020
Misracompliant20162020
High Quality Design with Hcd and hazop
High Quality Design with Hcd and hazop
Deep learningwithgithubanddocker
Deep learningwithgithubanddocker
Deep learningwithgithubanddocker
Deep learningwithgithubanddocker
Nagoya2018
Nagoya2018
Hazop tokyo201809
Hazop tokyo201809
Who like C++ coding standard
Who like C++ coding standard
Who enjoy a coding standard? ver. 0.30
Who enjoy a coding standard? ver. 0.30
Who enjoy a coding standard? ver. 0.20
Who enjoy a coding standard? ver. 0.20
Who enjoy a coding standard?
Who enjoy a coding standard?
機械と標準
機械と標準
TOPPERS as an IoT OS(kernel)
TOPPERS as an IoT OS(kernel)
How can we resolve problems.
How can we resolve problems.
Datamining Introduction using R with Raspbian on Raspberry Pi 3B.
Datamining Introduction using R with Raspbian on Raspberry Pi 3B.
Hazop Safety and Security at Fukui 2017(2/2)
Hazop Safety and Security at Fukui 2017(2/2)
Hazop Safety and Security at Fukui 2017(1/2)
Hazop Safety and Security at Fukui 2017(1/2)
Hazop and triz by/of/for the children(3/3)
Hazop and triz by/of/for the children(3/3)
Hazop and triz by/of/for the children(2/3)
Hazop and triz by/of/for the children(2/3)
Hazop and triz by/of/for the children(1/3)
Hazop and triz by/of/for the children(1/3)
Raspberrypitraining20171027
Raspberrypitraining20171027
Starc RTL設計スタイルガイドの検査道具spyglassの使い方
1.
spyglass の使い方 Verilog-HDL 版 201
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 設計スタイル ガイド 3種類用意されている。 初めて使う場合は200 5 (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.
修正の鍵 全部の警告を無くす必要があるとは限らない 修正する際に方針を確立する 命名規則 数字は0からはじめるか、1から始めるか 階層名と階層名の間はつめるのか_を使うのか 既定 (default) で代入する値 修正前と修正後のファイルは必ず残す 警告ファイルも残しておくとよい Alint
との出力の違い 複数の道具を使って比較すると考える時間が短縮可能 (c)ogawa.kiyoshi@nmiri.city.nagoya.jp 2010/09/14
16.
オンラ イン文 書 ファイル名を選択し Open ボタ ン コマンドラインでの簡単な操 作 SpyGlassQuickGuide.pdf 基本マニュアル PredictiveAnalyzerUserGuide.pdf
Baixar agora