スポンサーサイト

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

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

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

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

スポンサーサイト

[検証][OVL] OVL 2.8.1リリース

OVL 2.8.1がリリースされていたようです。

Download OVL (Open Verification Language)

「release_notes.txt」見ると

MAIN CHANGES
~~~~~~~~~~~~~~~~~~~~~~~~~~
fire_xcheck/fire_2state were not being reset in
ovl_zero_one_hot_logic.sv. This has been fixed.

と書いてあるので、大きな変更/追加は無さそう。
それにしても、すべてのファイルのバージョン情報書き換えるとか。。。

差分取りづらい。。。
それって分かりにくくするためにわざとやっているのかしら。。。

[検証][SystemVerilog] SOC Verification using SystemVerilog

SoC Verification Using SystemVerilog - SemiWiki.com にて知ったのですが、

udemyに「SOC Verification using System Verilog」があるようです。

アカウントさえ作れば無償で見ることができるようです。

項目40個ですが、トピックスを見るだけでも充実してそう。

[検証] OVL 2.8 リリース

いつの間にかリリースされていたようです。

  • release_notes.txt より抜粋
INDEX:   - V2.8      (02 December 2013)
===================================================================================

MAIN CHANGES
~~~~~~~~~~~~
Pass action blocks were used to reset 'fire' bits which introduced possible race
conditions.  We have removed this now.  A fire bit is set to '1' in the cycle in
which the violation occurs and reset to '0' in the next cycle by a clocked process.

ヘッダーがすべて書きなおされているので、
すべてのファイルが更新されているので
差分がわかりづらい。。。

あんまり変わってないんじゃないか?疑惑...

[e][検証] eWG への勧誘

CVCのブログにて。


Invitation to contribute to next generation Verification standard ? join the eWG


そうです。e ですよ。
IEEE 1647ですよ。


さて、どなたか HDL Advent Calendar 2013
e について書いてくれる方は居られないでしょうか。


お待ちしております!!!


最近だと、Cadence Blogに eについてはこんなの載ってますね。


参考

プロフィール

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