data/full_repos/permissive/135852214/Verilog/DAFA.v
1: b"%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:34: Cannot find file containing module: 'mexor'\nmexor m1({s_in[4],s_in[3],s_in[0],y_in[2],x_in[2]},m1out);\n^~~~~\n        ... Looked in:\n             data/full_repos/permissive/135852214/Verilog,data/full_repos/permissive/135852214/mexor\n             data/full_repos/permissive/135852214/Verilog,data/full_repos/permissive/135852214/mexor.v\n             data/full_repos/permissive/135852214/Verilog,data/full_repos/permissive/135852214/mexor.sv\n             mexor\n             mexor.v\n             mexor.sv\n             obj_dir/mexor\n             obj_dir/mexor.v\n             obj_dir/mexor.sv\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:41: Cannot find file containing module: 'tcnot'\ntcnot m2({y_in[2],y_in[1],y_in[0],x_in[2]},m2out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:48: Cannot find file containing module: 'mexor'\nmexor m3({m1out[4],m1out[3],m1out[2],s_in[2],m2out[3]},m3out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:55: Cannot find file containing module: 'tcnot'\ntcnot m4({s_in[2],s_in[1],m3out[2],m2out[3]},m4out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:63: Cannot find file containing module: 'mexor'\nmexor m5({s_in[5],m3out[3],m4out[2],y_in[4],x_in[4]},m5out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:70: Cannot find file containing module: 'tcnot'\ntcnot m6({y_in[4],y_in[3],m2out[1],x_in[4]},m6out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:77: Cannot find file containing module: 'mexor'\nmexor m7({m5out[4],m5out[3],m5out[2],y_in[4],m3out[4]},m7out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:84: Cannot find file containing module: 'tcnot'\ntcnot m8({m3out[4],m7out[3],m4out[1],m6out[3]},m8out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:93: Cannot find file containing module: 'mexor4'\nmexor4 m9({s_in[6],m8out[2], m7out[2],m8out[1],y_in[5],x_in[5]},m9out);\n^~~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:101: Cannot find file containing module: 'tcnot'\ntcnot m10({y_in[5],m6out[2],m2out[2],x_in[5] },m10out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:108: Cannot find file containing module: 'mexor4'\nmexor4 m11({m9out[5],m9out[4],m9out[3],m9out[2],m10out[3],m7out[4]},m11out);\n^~~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:117: Cannot find file containing module: 'tcnot'\ntcnot m12({m7out[4],m11out[4],m11out[3],m10out[3]},m12out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:127: Cannot find file containing module: 'mexor'\nmexor m13({s_in[8],s_in[7],m11out[2],y_in[6],x_in[6]},m13out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:134: Cannot find file containing module: 'qcnot'\nqcnot m14({y_in[6], m10out[2],m10out[1], m6out[1],x_in[6]},m14out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:142: Cannot find file containing module: 'mexor'\nmexor m15({m13out[4],m13out[3],m13out[2],m14out[4],m11out[5]},m15out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:149: Cannot find file containing module: 'qcnot'\nqcnot m16({m11out[5],m12out[2],m12out[1],m15out[2],m14out[4]},m16out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:159: Cannot find file containing module: 'mexor'\nmexor m17({s_in[9],m15out[3],m16out[2],y_in[8],x_in[8]},m17out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:166: Cannot find file containing module: 'tcnot'\ntcnot m18({y_in[8],y_in[7],m14out[1],x_in[8]},m18out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:173: Cannot find file containing module: 'mexor'\nmexor m19({m17out[4],m17out[3],m17out[2],m18out[3],m15out[4]},m19out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:185: Cannot find file containing module: 'tcnot'\ntcnot m20({m15out[4],m19out[3],m16out[1],m18out[3]},m20out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:196: Cannot find file containing module: 'mexor4'\nmexor4 m21({s_in[10],m20out[2],m19out[2],m20out[1],y_in[9],x_in[9]},m21out);\n^~~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:204: Cannot find file containing module: 'tcnot'\ntcnot m22({y_in[9],m18out[2],m14out[2],x_in[9]},m22out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:211: Cannot find file containing module: 'mexor4'\nmexor4 m23({m21out[5],m21out[4],m21out[3],m21out[2],m22out[3],m19out[4]},m23out);\n^~~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:219: Cannot find file containing module: 'tcnot'\ntcnot m24({m19out[4],m23out[4],m23out[3],m22out[3]},m24out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:228: Cannot find file containing module: 'mexor'\nmexor m25({s_in[11],m24out[2],m16out[3],y_in[10],x_in[10]},m25out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:235: Cannot find file containing module: 'qcnot'\nqcnot m26({y_in[10],m22out[2],m22out[1],m18out[1],x_in[10]},m26out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:243: Cannot find file containing module: 'mexor'\nmexor m27({m25out[4],m25out[3],m25out[2],m26out[4],m23out[5]},m27out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:250: Cannot find file containing module: 'qcnot'\nqcnot m28({m23out[5],m27out[3],m24out[1],m23out[2],m26out[4]},m28out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:260: Cannot find file containing module: 'tof'\ntof m29({ovf_in,y_in[11],x_in[11]},m29out);\n^~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:265: Cannot find file containing module: 'tcnot'\ntcnot m30({y_in[11],m26out[3],m14out[3],x_in[11]},m30out);\n^~~~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:272: Cannot find file containing module: 'tof'\ntof m31({m29out[2],m30out[3],m27out[4]},m31out);\n^~~\n%Error: data/full_repos/permissive/135852214/Verilog/DAFA.v:277: Cannot find file containing module: 'tcnot'\ntcnot m32({m27out[4],m28out[3],m27out[2],m30out[3]},m32out);\n^~~~~\n%Error: Exiting due to 32 error(s)\n"
module DAFA(
    input [11:0] s_in,
    input [11:0] x_in,
    input [11:0] y_in,
    output [11:0] s_out,
    output [11:0] x_out,
    output [11:0] y_out,
    input ovf_in,
    output ovf_out
    );


(* KEEP="TRUE" *)  wire [4:0] m1out;
mexor m1({s_in[4],s_in[3],s_in[0],y_in[2],x_in[2]},m1out);


(* KEEP="TRUE" *)  wire [3:0] m2out;
tcnot m2({y_in[2],y_in[1],y_in[0],x_in[2]},m2out);


(* KEEP="TRUE" *)  wire [4:0] m3out;
mexor m3({m1out[4],m1out[3],m1out[2],s_in[2],m2out[3]},m3out);


(* KEEP="TRUE" *)  wire [3:0] m4out;
tcnot m4({s_in[2],s_in[1],m3out[2],m2out[3]},m4out);



(* KEEP="TRUE" *)  wire [4:0] m5out;
mexor m5({s_in[5],m3out[3],m4out[2],y_in[4],x_in[4]},m5out);


(* KEEP="TRUE" *)  wire [3:0] m6out;
tcnot m6({y_in[4],y_in[3],m2out[1],x_in[4]},m6out);


(* KEEP="TRUE" *)  wire[4:0] m7out;
mexor m7({m5out[4],m5out[3],m5out[2],y_in[4],m3out[4]},m7out);


(* KEEP="TRUE" *)  wire [3:0] m8out;
tcnot m8({m3out[4],m7out[3],m4out[1],m6out[3]},m8out);




(* KEEP="TRUE" *)  wire [5:0] m9out;
mexor4 m9({s_in[6],m8out[2], m7out[2],m8out[1],y_in[5],x_in[5]},m9out);


(* KEEP="TRUE" *)  wire [3:0] m10out;
tcnot m10({y_in[5],m6out[2],m2out[2],x_in[5] },m10out);


(* KEEP="TRUE" *)  wire [5:0] m11out;
mexor4 m11({m9out[5],m9out[4],m9out[3],m9out[2],m10out[3],m7out[4]},m11out);



(* KEEP="TRUE" *)  wire [3:0] m12out;
tcnot m12({m7out[4],m11out[4],m11out[3],m10out[3]},m12out);





(* KEEP="TRUE" *)  wire [4:0] m13out;
mexor m13({s_in[8],s_in[7],m11out[2],y_in[6],x_in[6]},m13out);


(* KEEP="TRUE" *)  wire [4:0] m14out;
qcnot m14({y_in[6], m10out[2],m10out[1], m6out[1],x_in[6]},m14out);


(* KEEP="TRUE" *)  wire [4:0] m15out;
mexor m15({m13out[4],m13out[3],m13out[2],m14out[4],m11out[5]},m15out);


(* KEEP="TRUE" *)  wire [4:0] m16out;
qcnot m16({m11out[5],m12out[2],m12out[1],m15out[2],m14out[4]},m16out);




(* KEEP="TRUE" *)  wire [4:0] m17out;
mexor m17({s_in[9],m15out[3],m16out[2],y_in[8],x_in[8]},m17out);


(* KEEP="TRUE" *)  wire [3:0] m18out;
tcnot m18({y_in[8],y_in[7],m14out[1],x_in[8]},m18out);


(* KEEP="TRUE" *)  wire [4:0] m19out;
mexor m19({m17out[4],m17out[3],m17out[2],m18out[3],m15out[4]},m19out);







(* KEEP="TRUE" *)  wire [3:0] m20out;
tcnot m20({m15out[4],m19out[3],m16out[1],m18out[3]},m20out);






(* KEEP="TRUE" *)  wire [5:0] m21out;
mexor4 m21({s_in[10],m20out[2],m19out[2],m20out[1],y_in[9],x_in[9]},m21out);


(* KEEP="TRUE" *)  wire [3:0] m22out;
tcnot m22({y_in[9],m18out[2],m14out[2],x_in[9]},m22out);


(* KEEP="TRUE" *)  wire [5:0] m23out;
mexor4 m23({m21out[5],m21out[4],m21out[3],m21out[2],m22out[3],m19out[4]},m23out);


(* KEEP="TRUE" *)  wire [3:0] m24out;
tcnot m24({m19out[4],m23out[4],m23out[3],m22out[3]},m24out);




(* KEEP="TRUE" *)  wire [4:0] m25out;
mexor m25({s_in[11],m24out[2],m16out[3],y_in[10],x_in[10]},m25out);


(* KEEP="TRUE" *)  wire [4:0] m26out;
qcnot m26({y_in[10],m22out[2],m22out[1],m18out[1],x_in[10]},m26out);


(* KEEP="TRUE" *)  wire [4:0] m27out;
mexor m27({m25out[4],m25out[3],m25out[2],m26out[4],m23out[5]},m27out);


(* KEEP="TRUE" *)  wire [4:0] m28out;
qcnot m28({m23out[5],m27out[3],m24out[1],m23out[2],m26out[4]},m28out);




(* KEEP="TRUE" *)  wire [2:0] m29out;
tof m29({ovf_in,y_in[11],x_in[11]},m29out);


(* KEEP="TRUE" *)  wire [3:0] m30out;
tcnot m30({y_in[11],m26out[3],m14out[3],x_in[11]},m30out);


(* KEEP="TRUE" *)  wire[2:0] m31out;
tof m31({m29out[2],m30out[3],m27out[4]},m31out);


(* KEEP="TRUE" *)  wire[3:0] m32out;
tcnot m32({m27out[4],m28out[3],m27out[2],m30out[3]},m32out);


assign ovf_out = m31out[2];
assign x_out = x_in;
assign y_out = {m30out[3],m26out[4],m22out[3],m18out[3],m30out[2],m14out[4],m10out[3],m6out[3],m30out[1],m2out[3],m26out[2],m26out[1]};
assign s_out = {m32out[3],m28out[4],m24out[3],m20out[3],m32out[2],m16out[4],m12out[3],m8out[3],m32out[1],m4out[3],m28out[2],m28out[1]};
endmodule
module DAFA(
    input [11:0] s_in,
    input [11:0] x_in,
    input [11:0] y_in,
    output [11:0] s_out,
    output [11:0] x_out,
    output [11:0] y_out,
    input ovf_in,
    output ovf_out
    );



(* KEEP="TRUE" *)  wire [4:0] m1out;
mexor m1({s_in[4],s_in[3],s_in[0],y_in[2],x_in[2]},m1out);


(* KEEP="TRUE" *)  wire [3:0] m2out;
tcnot m2({y_in[2],y_in[1],y_in[0],x_in[2]},m2out);


(* KEEP="TRUE" *)  wire [4:0] m3out;
mexor m3({m1out[4],m1out[3],m1out[2],s_in[2],m2out[3]},m3out);


(* KEEP="TRUE" *)  wire [3:0] m4out;
tcnot m4({s_in[2],s_in[1],m3out[2],m2out[3]},m4out);



(* KEEP="TRUE" *)  wire [4:0] m5out;
mexor m5({s_in[5],m3out[3],m4out[2],y_in[4],x_in[4]},m5out);


(* KEEP="TRUE" *)  wire [3:0] m6out;
tcnot m6({y_in[4],y_in[3],m2out[1],x_in[4]},m6out);


(* KEEP="TRUE" *)  wire[4:0] m7out;
mexor m7({m5out[4],m5out[3],m5out[2],y_in[4],m3out[4]},m7out);


(* KEEP="TRUE" *)  wire [3:0] m8out;
tcnot m8({m3out[4],m7out[3],m4out[1],m6out[3]},m8out);




(* KEEP="TRUE" *)  wire [5:0] m9out;
mexor4 m9({s_in[6],m8out[2], m7out[2],m8out[1],y_in[5],x_in[5]},m9out);


(* KEEP="TRUE" *)  wire [3:0] m10out;
tcnot m10({y_in[5],m6out[2],m2out[2],x_in[5] },m10out);


(* KEEP="TRUE" *)  wire [5:0] m11out;
mexor4 m11({m9out[5],m9out[4],m9out[3],m9out[2],m10out[3],m7out[4]},m11out);



(* KEEP="TRUE" *)  wire [3:0] m12out;
tcnot m12({m7out[4],m11out[4],m11out[3],m10out[3]},m12out);





(* KEEP="TRUE" *)  wire [4:0] m13out;
mexor m13({s_in[8],s_in[7],m11out[2],y_in[6],x_in[6]},m13out);


(* KEEP="TRUE" *)  wire [4:0] m14out;
qcnot m14({y_in[6], m10out[2],m10out[1], m6out[1],x_in[6]},m14out);


(* KEEP="TRUE" *)  wire [4:0] m15out;
mexor m15({m13out[4],m13out[3],m13out[2],m14out[4],m11out[5]},m15out);


(* KEEP="TRUE" *)  wire [4:0] m16out;
qcnot m16({m11out[5],m12out[2],m12out[1],m15out[2],m14out[4]},m16out);




(* KEEP="TRUE" *)  wire [4:0] m17out;
mexor m17({s_in[9],m15out[3],m16out[2],y_in[8],x_in[8]},m17out);


(* KEEP="TRUE" *)  wire [3:0] m18out;
tcnot m18({y_in[8],y_in[7],m14out[1],x_in[8]},m18out);


(* KEEP="TRUE" *)  wire [4:0] m19out;
mexor m19({m17out[4],m17out[3],m17out[2],m18out[3],m15out[4]},m19out);







(* KEEP="TRUE" *)  wire [3:0] m20out;
tcnot m20({m15out[4],m19out[3],m16out[1],m18out[3]},m20out);






(* KEEP="TRUE" *)  wire [5:0] m21out;
mexor4 m21({s_in[10],m20out[2],m19out[2],m20out[1],y_in[9],x_in[9]},m21out);


(* KEEP="TRUE" *)  wire [3:0] m22out;
tcnot m22({y_in[9],m18out[2],m14out[2],x_in[9]},m22out);


(* KEEP="TRUE" *)  wire [5:0] m23out;
mexor4 m23({m21out[5],m21out[4],m21out[3],m21out[2],m22out[3],m19out[4]},m23out);


(* KEEP="TRUE" *)  wire [3:0] m24out;
tcnot m24({m19out[4],m23out[4],m23out[3],m22out[3]},m24out);




(* KEEP="TRUE" *)  wire [4:0] m25out;
mexor m25({s_in[11],m24out[2],m16out[3],y_in[10],x_in[10]},m25out);


(* KEEP="TRUE" *)  wire [4:0] m26out;
qcnot m26({y_in[10],m22out[2],m22out[1],m18out[1],x_in[10]},m26out);


(* KEEP="TRUE" *)  wire [4:0] m27out;
mexor m27({m25out[4],m25out[3],m25out[2],m26out[4],m23out[5]},m27out);


(* KEEP="TRUE" *)  wire [4:0] m28out;
qcnot m28({m23out[5],m27out[3],m24out[1],m23out[2],m26out[4]},m28out);




(* KEEP="TRUE" *)  wire [2:0] m29out;
tof m29({ovf_in,y_in[11],x_in[11]},m29out);


(* KEEP="TRUE" *)  wire [3:0] m30out;
tcnot m30({y_in[11],m26out[3],m14out[3],x_in[11]},m30out);


(* KEEP="TRUE" *)  wire[2:0] m31out;
tof m31({m29out[2],m30out[3],m27out[4]},m31out);


(* KEEP="TRUE" *)  wire[3:0] m32out;
tcnot m32({m27out[4],m28out[3],m27out[2],m30out[3]},m32out);


assign ovf_out = m31out[2];
assign x_out = x_in;
assign y_out = {m30out[3],m26out[4],m22out[3],m18out[3],m30out[2],m14out[4],m10out[3],m6out[3],m30out[1],m2out[3],m26out[2],m26out[1]};
assign s_out = {m32out[3],m28out[4],m24out[3],m20out[3],m32out[2],m16out[4],m12out[3],m8out[3],m32out[1],m4out[3],m28out[2],m28out[1]};
endmodule