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

ご挨拶 †

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

randomize()の威力をグラフにしてみる? 　　randomaize()てそんなに便利？？と思ったので数値化しグラフにしてみた。回路はお手軽にcase文で作成、順番による調停回路20bit（ラウンドロビン）ただしクロック毎に調停する　RTLは下記参照

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

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