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