data/full_repos/permissive/21051978/processor/syn/netlist/seq_detect.syn.v
1: b"%Error: data/full_repos/permissive/21051978/processor/syn/netlist/seq_detect.syn.v:8: Cannot find file containing module: 'DFFPOSX1'\n  DFFPOSX1 state_reg_0_ ( .D(state76_0_), .CLK(clk), .Q(state[0]) );\n  ^~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/21051978/processor/syn/netlist,data/full_repos/permissive/21051978/DFFPOSX1\n             data/full_repos/permissive/21051978/processor/syn/netlist,data/full_repos/permissive/21051978/DFFPOSX1.v\n             data/full_repos/permissive/21051978/processor/syn/netlist,data/full_repos/permissive/21051978/DFFPOSX1.sv\n             DFFPOSX1\n             DFFPOSX1.v\n             DFFPOSX1.sv\n             obj_dir/DFFPOSX1\n             obj_dir/DFFPOSX1.v\n             obj_dir/DFFPOSX1.sv\n%Error: data/full_repos/permissive/21051978/processor/syn/netlist/seq_detect.syn.v:9: Cannot find file containing module: 'DFFPOSX1'\n  DFFPOSX1 state_reg_1_ ( .D(rst), .CLK(clk), .Q(state[1]) );\n  ^~~~~~~~\n%Error: data/full_repos/permissive/21051978/processor/syn/netlist/seq_detect.syn.v:10: Cannot find file containing module: 'OR2X1'\n  OR2X1 U74 ( .A(rst), .B(in), .Y(state76_0_) );\n  ^~~~~\n%Error: data/full_repos/permissive/21051978/processor/syn/netlist/seq_detect.syn.v:11: Cannot find file containing module: 'NOR2X1'\n  NOR2X1 U75 ( .A(state[0]), .B(n201), .Y(match) );\n  ^~~~~~\n%Error: data/full_repos/permissive/21051978/processor/syn/netlist/seq_detect.syn.v:12: Cannot find file containing module: 'INVX1'\n  INVX1 U76 ( .A(state[1]), .Y(n201) );\n  ^~~~~\n%Error: data/full_repos/permissive/21051978/processor/syn/netlist/seq_detect.syn.v:13: Cannot find file containing module: 'AND2X1'\n  AND2X1 U77 ( .A(state[1]), .B(state[0]), .Y(err) );\n  ^~~~~~\n%Error: Exiting due to 6 error(s)\n"
module seq_detect ( in, clk, rst, match, err );
  input in, clk, rst;
  output match, err;
  wire   state76_0_, n201;
  wire   [1:0] state;

  DFFPOSX1 state_reg_0_ ( .D(state76_0_), .CLK(clk), .Q(state[0]) );
  DFFPOSX1 state_reg_1_ ( .D(rst), .CLK(clk), .Q(state[1]) );
  OR2X1 U74 ( .A(rst), .B(in), .Y(state76_0_) );
  NOR2X1 U75 ( .A(state[0]), .B(n201), .Y(match) );
  INVX1 U76 ( .A(state[1]), .Y(n201) );
  AND2X1 U77 ( .A(state[1]), .B(state[0]), .Y(err) );
endmodule
module seq_detect ( in, clk, rst, match, err );

  input in, clk, rst;
  output match, err;
  wire   state76_0_, n201;
  wire   [1:0] state;

  DFFPOSX1 state_reg_0_ ( .D(state76_0_), .CLK(clk), .Q(state[0]) );
  DFFPOSX1 state_reg_1_ ( .D(rst), .CLK(clk), .Q(state[1]) );
  OR2X1 U74 ( .A(rst), .B(in), .Y(state76_0_) );
  NOR2X1 U75 ( .A(state[0]), .B(n201), .Y(match) );
  INVX1 U76 ( .A(state[1]), .Y(n201) );
  AND2X1 U77 ( .A(state[1]), .B(state[0]), .Y(err) );
endmodule