- バックアップ一覧
- バックアップ を表示
- 技術メモ -- RLL は削除されています。
- 1 (2008-08-20 (水) 13:27:22)
#norelated
* 技術メモ [#pa00e90a]
我が社(有限会社赤葉ロジック→以下"RLL"と表示)の活動内容をご理解いただくために、ある程度の技術内容を継続的に技術メモとして公開して行きます。
** systemVerilog [#n3631bb1]
*** 簡単な説明 [#v58c0c7e]
*** 技術メモ [#ffddf780]
- [[randomize()の威力をグラフにしてみる]]
randomaize()てそんなに便利??と思ったので数値化しグラフにしてみた。
回路はお手軽にcase文で作成、順番による調停回路20bit(ラウンドロビン)ただしクロック毎に調停する RTLは下記参照
カバレッジ値の変化を見たいだけなのでアサーションはovlのassert_zero_one_hotのみ付けといた。
結果は冒頭のグラフにあるとおりrandomパターンを80個生成でカバレッジ100%達成。結構収束が速い。。回路の性格で??
randomize()を使用した回路検証の雰囲気が何となくつかめた。
#ref(arbitr_cov.jpg)
- [[InterWikiSandBox]] -- [[InterWiki]]を試してみてください
** vmm [#yd3b840d]
- [[動作サンプル-cvc_counter]]
** PukiWikiについて [#a167953b]
- [[PukiWiki]] -- PukiWikiのご紹介
*** ドキュメント [#z764bdc5]
- [[ヘルプ>Help]] -- PukiWikiで編集するには?
- [[テキスト整形のルール(詳細版)>FormattingRules]]
- [[プラグインマニュアル>PukiWiki/1.4/Manual/Plugin]]