検証のバックアップ差分(No.1)

バックアップ一覧
現在との差分を表示
ソースを表示
バックアップを表示
検証へ行く。
- 1 (2008-08-20 (水) 13:49:20)
- 2 (2008-08-21 (木) 01:29:29)

追加された行はこの色です。
削除された行はこの色です。

#norelated
* ご挨拶 [#r8c36bac]

我が社(有限会社赤葉ロジック→以下"RLL"と表示)の活動内容をご理解いただくために、ある程度の技術内容を継続的に技術メモとして公開して行きます。


** systemVerilog [#r29a71fb]
*** 簡単な説明 [#a8b53a32]
*** 技術メモ [#tf957229]
- [[randomize()の威力をグラフにしてみる]] 
　　randomaize()てそんなに便利？？と思ったので数値化しグラフにしてみた。
回路はお手軽にcase文で作成、順番による調停回路20bit（ラウンドロビン）ただしクロック毎に調停する　RTLは下記参照

カバレッジ値の変化を見たいだけなのでアサーションはovlのassert_zero_one_hotのみ付けといた。

　結果は冒頭のグラフにあるとおりrandomパターンを80個生成でカバレッジ１００％達成。結構収束が速い。。回路の性格で？？
　randomize()を使用した回路検証の雰囲気が何となくつかめた。

#ref(arbitr_cov.jpg)

- [[InterWikiSandBox]] -- [[InterWiki]]を試してみてください

** vmm [#qb647616]
- [[動作サンプル-cvc_counter]]




** PukiWikiについて [#j2ac6ac7]

- [[PukiWiki]] -- PukiWikiのご紹介

*** ドキュメント [#d1a1117a]
- [[ヘルプ>Help]] -- PukiWikiで編集するには？
- [[テキスト整形のルール(詳細版)>FormattingRules]]
- [[プラグインマニュアル>PukiWiki/1.4/Manual/Plugin]]

検証 のバックアップ差分(No.1)

検証のバックアップ差分(No.1)