data/full_repos/permissive/142844950/rtl/xc_sha512/xc_sha512_ftb.v
1: b"%Error: data/full_repos/permissive/142844950/rtl/xc_sha512/xc_sha512_ftb.v:15: Cannot find file containing module: 'xc_sha512'\nxc_sha512 i_xc_sha512 (\n^~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/142844950/rtl/xc_sha512,data/full_repos/permissive/142844950/xc_sha512\n             data/full_repos/permissive/142844950/rtl/xc_sha512,data/full_repos/permissive/142844950/xc_sha512.v\n             data/full_repos/permissive/142844950/rtl/xc_sha512,data/full_repos/permissive/142844950/xc_sha512.sv\n             xc_sha512\n             xc_sha512.v\n             xc_sha512.sv\n             obj_dir/xc_sha512\n             obj_dir/xc_sha512.v\n             obj_dir/xc_sha512.sv\n%Error: Exiting due to 1 error(s)\n"
module xc_sha512_ftb (

input clock,
input reset

);

reg [63:0] rs1   ;
reg [ 1:0] ss    ;
reg [63:0] result;

xc_sha512 i_xc_sha512 (
.rs1   (rs1   ),
.ss    (ss    ),
.result(result)
);

endmodule
module xc_sha512_ftb (

input clock,
input reset

);


reg [63:0] rs1   ;
reg [ 1:0] ss    ;
reg [63:0] result;

xc_sha512 i_xc_sha512 (
.rs1   (rs1   ),
.ss    (ss    ),
.result(result)
);

endmodule