data/full_repos/permissive/451861474/Sequence Detecter/A3Q1_1bit_logic.v
1: b'%Error: Cannot find file containing module: Detecter,data/full_repos/permissive/451861474\n        ... Looked in:\n             data/full_repos/permissive/451861474/Sequence/Detecter,data/full_repos/permissive/451861474\n             data/full_repos/permissive/451861474/Sequence/Detecter,data/full_repos/permissive/451861474.v\n             data/full_repos/permissive/451861474/Sequence/Detecter,data/full_repos/permissive/451861474.sv\n             Detecter,data/full_repos/permissive/451861474\n             Detecter,data/full_repos/permissive/451861474.v\n             Detecter,data/full_repos/permissive/451861474.sv\n             obj_dir/Detecter,data/full_repos/permissive/451861474\n             obj_dir/Detecter,data/full_repos/permissive/451861474.v\n             obj_dir/Detecter,data/full_repos/permissive/451861474.sv\n%Error: Cannot find file containing module: data/full_repos/permissive/451861474/Sequence\n%Error: Cannot find file containing module: Detecter/A3Q1_1bit_logic.v\n%Error: Exiting due to 3 error(s)\n'
module seq_detector(
  input x,
  input [1:0] PS,
  output z,
  output reg[1:0] NS
);

parameter S0=2'b00,S1=2'b01,S2=2'b10,S3=2'b11;


always @ (x or PS)
  begin
    case(PS)
        S0 :begin
         NS = x ? S1 : S0 ;
         end
        S1 :begin NS = x ? S1 : S2 ;
        end
        S2 :begin NS = x ? S3 : S0 ;
        end
        S3 :begin NS = x ? S1 : S2 ;
        end
    endcase
  end

assign z=((PS==S3) && ~x)? 1:0;

endmodule
module seq_detector(
  input x,
  input [1:0] PS,
  output z,
  output reg[1:0] NS
);


parameter S0=2'b00,S1=2'b01,S2=2'b10,S3=2'b11;


always @ (x or PS)
  begin
    case(PS)
        S0 :begin
         NS = x ? S1 : S0 ;
         end
        S1 :begin NS = x ? S1 : S2 ;
        end
        S2 :begin NS = x ? S3 : S0 ;
        end
        S3 :begin NS = x ? S1 : S2 ;
        end
    endcase
  end

assign z=((PS==S3) && ~x)? 1:0;

endmodule