data/full_repos/permissive/164126589/benchmark/c3_slack.v
1: b"%Error: data/full_repos/permissive/164126589/benchmark/c3_slack.v:31: Cannot find file containing module: 'BUF_X1'\nBUF_X1 inst_2 ( .Z(nx44), .A(nx4) );\n^~~~~~\n        ... Looked in:\n             data/full_repos/permissive/164126589/benchmark,data/full_repos/permissive/164126589/BUF_X1\n             data/full_repos/permissive/164126589/benchmark,data/full_repos/permissive/164126589/BUF_X1.v\n             data/full_repos/permissive/164126589/benchmark,data/full_repos/permissive/164126589/BUF_X1.sv\n             BUF_X1\n             BUF_X1.v\n             BUF_X1.sv\n             obj_dir/BUF_X1\n             obj_dir/BUF_X1.v\n             obj_dir/BUF_X1.sv\n%Error: data/full_repos/permissive/164126589/benchmark/c3_slack.v:32: Cannot find file containing module: 'INV_X1'\nINV_X1 inst_1 ( .ZN(nx33), .A(nx3) );\n^~~~~~\n%Error: data/full_repos/permissive/164126589/benchmark/c3_slack.v:33: Cannot find file containing module: 'NAND2_X1'\nNAND2_X1 inst_0 ( .ZN(nx12), .A2(nx2), .A1(nx1) );\n^~~~~~~~\n%Error: Exiting due to 3 error(s)\n"
module c3_slack (
nx1,
nx3,
nx2,
nx4,
nx33,
nx44,
nx12);


input nx1;
input nx3;
input nx2;
input nx4;


output nx33;
output nx44;
output nx12;


wire nx1;
wire nx3;
wire nx33;
wire nx44;
wire nx12;
wire nx2;
wire nx4;


BUF_X1 inst_2 ( .Z(nx44), .A(nx4) );
INV_X1 inst_1 ( .ZN(nx33), .A(nx3) );
NAND2_X1 inst_0 ( .ZN(nx12), .A2(nx2), .A1(nx1) );

endmodule
module c3_slack (
nx1,
nx3,
nx2,
nx4,
nx33,
nx44,
nx12);



input nx1;
input nx3;
input nx2;
input nx4;


output nx33;
output nx44;
output nx12;


wire nx1;
wire nx3;
wire nx33;
wire nx44;
wire nx12;
wire nx2;
wire nx4;


BUF_X1 inst_2 ( .Z(nx44), .A(nx4) );
INV_X1 inst_1 ( .ZN(nx33), .A(nx3) );
NAND2_X1 inst_0 ( .ZN(nx12), .A2(nx2), .A1(nx1) );

endmodule