data/full_repos/permissive/469509877/rtl/libs/EdgeDetector.v
1: b"%Error: data/full_repos/permissive/469509877/rtl/libs/EdgeDetector.v:31: Cannot find file containing module: 'FDRE'\n     FDRE #(.INIT(1'b0) ) ff (.C(clkin), .R(1'b0), .CE(1), .D(btn), .Q(t0));\n     ^~~~\n        ... Looked in:\n             data/full_repos/permissive/469509877/rtl/libs,data/full_repos/permissive/469509877/FDRE\n             data/full_repos/permissive/469509877/rtl/libs,data/full_repos/permissive/469509877/FDRE.v\n             data/full_repos/permissive/469509877/rtl/libs,data/full_repos/permissive/469509877/FDRE.sv\n             FDRE\n             FDRE.v\n             FDRE.sv\n             obj_dir/FDRE\n             obj_dir/FDRE.v\n             obj_dir/FDRE.sv\n%Error: Exiting due to 1 error(s)\n"
module EdgeDetector(
    input btn,
    input clkin,
    output out
    );
    
    wire t0;
    
     FDRE #(.INIT(1'b0) ) ff (.C(clkin), .R(1'b0), .CE(1), .D(btn), .Q(t0));
     
     assign out = ~t0 & btn;
     
     
     
endmodule
module EdgeDetector(
    input btn,
    input clkin,
    output out
    );

    
    wire t0;
    
     FDRE #(.INIT(1'b0) ) ff (.C(clkin), .R(1'b0), .CE(1), .D(btn), .Q(t0));
     
     assign out = ~t0 & btn;
     
     
     
endmodule