Verification Engineerの戯言
ModelSim XE 6.3cでOVM 1.0.1を試してみました。
結果、randomizeを使わない例題では、特に問題なく実行できました。
ただし、vsim実行時に、-coverageを指定すると、次のようなエラーになります。
# ** Error: Failure to license for coverage.run_questaファイル内のvsimコマンドの行から"-coverage"を削除する必要があります。
シミュレーションを実行すると、次のような、ワーニングを表示しまするが、シミュレーションはできます。
このワーニングは、ModelSim XE Starterでの制限です。
このワーニングは、ModelSim XE Starterでの制限です。
# ** Warning: Design size of 13097 statements or 1 non-Xilinx leaf instances exceeds ModelSim XE-Starter recommended capacity. # Expect performance to be quite adversely affected.例題のうち、下記のものについては、問題なく実行できました。
examples/basic_examples/do_test examples/basic_examples/ep examples/basic_examples/module examples/basic_examples/pkg examples/configuration/automated examples/configuration/manual examples/ovm_examples/tlm/bidir examples/ovm_examples/tlm/fifo examples/ovm_examples/mechanics/interfaces下記の例題は、randomizeを使っているので、ライセンスが取れないというエラーになります。
examples/factory # ** Fatal: gen_pkg.sv(56): Unable to check out verification license for randomize() feature. examples/hello_world/ovm # ** Fatal: producer.sv(61): Unable to check out verification license for randomize() feature. examples/ovm_examples/mechanics/hierarchy # ** Fatal: hierarchy.sv(75): Unable to check out verification license for randomize() feature. examples/ovm_examples/mechanics/producer_consumer # ** Fatal: ports_and_exports.sv(83): Unable to check out verification license for randomize() feature. examples/phases/basic # ** Fatal: test.sv(157): Unable to check out verification license for randomize() feature. examples/phases/do_test # ** Fatal: test.sv(149): Unable to check out verification license for randomize() feature. examples/phases/run_test # ** Fatal: test.sv(149): Unable to check out verification license for randomize() feature. examples/phases/stop_request # ** Fatal: test.sv(100): Unable to check out verification license for randomize() feature. examples/sequence # ** Fatal: ../../src/methodology/sequences/ovm_sequencer_base.sv(213): Unable to check out verification license for randomize() feature.
P.S
検証、Verification、SystemVerilog、OVM、Open Verification Methodology