久しぶりにOVM2.0+dmac(テスト用)を触り、何とかそれらしい動作(割り込み動作付き)を行ってくれるようになった。
これで当初より試して見たかった事
→モデル検証で検証した事がどのくらい正確であるかランダム検証環境で試す。
(モデル検証は数学的な裏付けが有ります。従って私がモデル検証を正しく理解しているか
を試すことに。。)
*マルチマスター回路は排他制御のアルゴリズムやbufferの容量でデッドロック・ライブロック等を
起こしてしまう。こういう場所がモデル検証の出番であるが、あなたのモデル検証スキルは。。
と問われる場所でもあります。。汗
貧乏なのでモデル検証環境はspin+promeraで。。行います。
systemverilog OVM2.0 回路検証 LSI検証