スポンサーサイト

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

[雑記] PSLはまだまだいける?

私は、もう PSL(IEEE1850)は書かずに
SVA(SystemVerilog Assertion)かなーっと
思っていたところにこんな記事が。。。


Pragmatic choice of ABV language ? PSL still shines better than SVA


主張としては、
シンプルに書ける!
VHDL、SystemCなどの言語にも適用できる!
覚えるのも簡単!

っていうところでしょうか。


う~ん(・ω・`)


Using PSL/Sugar for Formal and Dynamic Verification 2nd Edition

関連記事

コメントの投稿

非公開コメント

プロフィール

Kocha

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

カレンダー
09 | 2017/10 | 11
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ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。