data/full_repos/permissive/143278/ivltests/br_gh316b.v
 line:8: before: "="
1: b'%Error: data/full_repos/permissive/143278/ivltests/br_gh316b.v:31: Unsupported or unknown PLI call: $monitor\n  $monitor($time,,EN1,,I1,,EN2,,I2,,O);\n  ^~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/br_gh316b.v:31: syntax error, unexpected \',\', expecting TYPE-IDENTIFIER\n  $monitor($time,,EN1,,I1,,EN2,,I2,,O);\n                 ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:34: Unsupported: Ignoring delay on this delayed statement.\n  #4;\n  ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:35: Unsupported: Ignoring delay on this delayed statement.\n  #0 if (O !== 0) failed = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:38: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:40: Unsupported: Ignoring delay on this delayed statement.\n  #3;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:41: Unsupported: Ignoring delay on this delayed statement.\n  #0 if (O !== 0) failed = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:42: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:43: Unsupported: Ignoring delay on this delayed statement.\n  #0 if (O !== 1) failed = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:45: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:46: Unsupported: Ignoring delay on this delayed statement.\n  #0 if (O !== 1) failed = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:47: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:48: Unsupported: Ignoring delay on this delayed statement.\n  #0 if (O !== 0) failed = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:51: Unsupported: Ignoring delay on this delayed statement.\n  #3;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:52: Unsupported: Ignoring delay on this delayed statement.\n  #0 if (O !== 0) failed = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:53: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:54: Unsupported: Ignoring delay on this delayed statement.\n  #0 if (O !== 1) failed = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:56: Unsupported: Ignoring delay on this delayed statement.\n  #2;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:57: Unsupported: Ignoring delay on this delayed statement.\n  #0 if (O !== 1) failed = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br_gh316b.v:58: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Error: Exiting due to 2 error(s), 18 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module dut(input EN1, input I1, output O1,
           input EN2, input I2, output O2);

assign O1 = EN1 ? I1 : 1'bz;
assign O2 = EN2 ? I2 : 1'bz;

specify
  (I1 => O1)  = (2);
  (EN1 *> O1) = (4);
  (I2 => O2)  = (3);
  (EN2 *> O2) = (4);
endspecify

endmodule
module dut(input EN1, input I1, output O1,
           input EN2, input I2, output O2);


assign O1 = EN1 ? I1 : 1'bz;
assign O2 = EN2 ? I2 : 1'bz;

specify
  (I1 => O1)  = (2);
  (EN1 *> O1) = (4);
  (I2 => O2)  = (3);
  (EN2 *> O2) = (4);
endspecify

endmodule