+libext+.vlib
+libext+.v
+define+OVL_COVER_NONE
+define+OVL_COVER_ON
+define+OVL_VERILOG
+incdir+../../../diags/verilog/ovl
-y ../../../diags/verilog/ovl
