Verification Engineerの戯言 テストプログラムのexamples/std_lib/vmm_test/alu_test.svを見てみましょう。 `include "alu_if.sv" program alu_test(alu_if.drvprt alu_drv_port, alu_if.monprt alu_mon_port); `include "alu_env.sv" `include "tests.incl…