スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

[検証][Formal] フォーマルのあれこれ

久々に DeepChip 見てたら、こんなのがあったのでメモ。

特に、Formal V とかツール別に表があり、ありがたいです。

スポンサーサイト

[Seminar] DSForum2016(10/14)

聴講予約が始まったようです。

Design Solution Forum 2016

色々と面白そうなセッションばっかりなので、
どれにしようか悩んで、登録できてない。。。

[雑談][Seminar] NASCUG とか DVConとか

Pocket に貯まってたものを整理してたら、
NASCUG:North American SystemC User's Group が出てきた。

もう2014年以降開催されてないんですね。。。
Oh... SystemC...

で、Accellera の HPでも見てみようと思って見てみたら
DVConが今後あちこちで開催されるですね。
しかも、アジア多い。

[SystemC][セミナー] SystemC Japan 2016行ってきた

2016/6/17に開催された

SystemC Japan 2016

に行ってきました。
ざっくりと。

SystemCの将来像 (黎明期から未来へ、期待を込めて)

基調講演。
日本から書籍が出てないって言ってた。。。
書く人募集中らしい。
Virtual Platformとかもやってたのに高位合成だけなってた。。。

聞いてて勉強不足だなと思ったので・・・(自粛

SystemC-HLSを活用したIP開発

東芝情報システムさんのベンダーセッション。
今回、SW処理で行っていたものに対してプロファイリングして
負荷が高い部分をHW化しました。ってことです。

IFは AXI IFにて設計。FPGA実装を想定して
Slaveは AXI4-Lite. Masterは AXI4.
私が気になったのは、DMACとのIPとのインターフェース.
懇親会で聞いたら、P2Pとのことだったけど
性能を更に出そう or 規模を小さくしようとすると
色々なインターフェースが考えられるなぁと。

360Design Verification(DV)...

OneSpinさんのツール紹介。
SystemCコードに対して、フォーマルとか出来るらしい。
SVAで制約かけるらしいが、どこまでサポートかちょっと興味あり。

高抽象度SystemC開発におけるHLS-RTLの品質向上

京セラドキュメントソリューションズさんのユーザー事例。

ASIC作るため、RTL-Code品質にこだわりたい。
今回、リントとカバレッジをRTL設計と同じレベルの品質に。。。

  • リント

SystemCを綺麗にかけば、RTLも綺麗になる(仮)

  • カバレッジ

フォーマル検証を使ってデッドコードであることを証明し、除外していった。
残った中に必要な組み合わせが抜けていることが判明できた。

聞いてた感想としては、検証項目のあげかた(パターンの依存関係)が
あまり出来てなかったのかなという印象。
依存関係ない処理が条件文できられることはツールバグ出ないかぎりないかなーっと。
あと、今回はフォーマルという1つの手段だけだったが、
モジュール分割をもっと細かくする(ツールで設定可能)とか
他の手段もあるので、その試した結果があれば欲しかったなー。
ECOとかする場合を想定するなら分割しているとやりやすい印象。

P2PやAXI IFなどベンダーが用意したLibraryを使ったRTLだと
フォーマルなどを使って設計していない部分を保証するのは
良いかもしれないが、すべて自分で設計したデザインに対して
フォーマルまで使うのはちょっと・・・
とりあえず、検証大事ですね。

感想

中休憩以降で用事があり帰ってしまったので、後半聞けなかったのは残念。
SystemCが自然と普通に使われる言語(ごく一部の世界で)だというのが実感。
あとは使う人次第。

これからもがんばろー

関連記事

[Tools] Redmine+Backlogs

ソフトウェア開発には馴染みがあるけど、自分の仕事に
適用出来るかわからなかったので、とりあえず入れてみた。

2weekなりの短いスパンでの業務って実際、やっている気がするので。
(元々がアジャイル開発!?)

今回は、なんか信者(亡霊)がいるらしい... Redmineで。

やってみてる感想だと、今はスケジュールなく1日1日で仕事が変わるので、
GUIを楽しんでいる感が否めない。
もう少しスケジュールが決まると面白いのかもね。

かんばんは楽しい!!!

こんな記事も見つけた。
ちょっと分野がメカのハードウェアだけど。。。

プロフィール

Kocha

Author:Kocha
なんでもチャレンジ!(^o^)/
E-mail
github:Kocha
イベントカレンダー

カレンダー
11 | 2016/12 | 01
- - - - 1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
カテゴリ
OVP (4)
最新記事
最新コメント
アーカイブ
リンク
Twitter
アクセス人数
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。