data/full_repos/permissive/193753641/encrypt.v
1: b"%Error: data/full_repos/permissive/193753641/encrypt.v:27: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A0(text,key,r0);\n^~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/193753641,data/full_repos/permissive/193753641/AddRoundKey\n             data/full_repos/permissive/193753641,data/full_repos/permissive/193753641/AddRoundKey.v\n             data/full_repos/permissive/193753641,data/full_repos/permissive/193753641/AddRoundKey.sv\n             AddRoundKey\n             AddRoundKey.v\n             AddRoundKey.sv\n             obj_dir/AddRoundKey\n             obj_dir/AddRoundKey.v\n             obj_dir/AddRoundKey.sv\n%Error: data/full_repos/permissive/193753641/encrypt.v:31: Cannot find file containing module: 'SubKey'\nSubKey K1(key,key1,8'h01);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:32: Cannot find file containing module: 'substitute'\nsubstitute SB1(r0,r1sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:33: Cannot find file containing module: 'ShiftRows'\nShiftRows SR1(r1sb,r1sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:34: Cannot find file containing module: 'MixColumns'\nMixColumns MX1(r1sr,r1mx);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:35: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A1(r1mx,key1,r1a);\n^~~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:39: Cannot find file containing module: 'SubKey'\nSubKey K2(key1,key2,8'h02);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:40: Cannot find file containing module: 'substitute'\nsubstitute SB2(r1a,r2sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:41: Cannot find file containing module: 'ShiftRows'\nShiftRows SR2(r2sb,r2sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:42: Cannot find file containing module: 'MixColumns'\nMixColumns MX2(r2sr,r2mx);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:43: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A2(r2mx,key2,r2a);\n^~~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:47: Cannot find file containing module: 'SubKey'\nSubKey K3(key2,key3,8'h04);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:48: Cannot find file containing module: 'substitute'\nsubstitute SB3(r2a,r3sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:49: Cannot find file containing module: 'ShiftRows'\nShiftRows SR3(r3sb,r3sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:50: Cannot find file containing module: 'MixColumns'\nMixColumns MX3(r3sr,r3mx);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:51: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A3(r3mx,key3,r3a);\n^~~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:55: Cannot find file containing module: 'SubKey'\nSubKey K4(key3,key4,8'h08);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:56: Cannot find file containing module: 'substitute'\nsubstitute SB4(r3a,r4sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:57: Cannot find file containing module: 'ShiftRows'\nShiftRows SR4(r4sb,r4sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:58: Cannot find file containing module: 'MixColumns'\nMixColumns MX4(r4sr,r4mx);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:59: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A4(r4mx,key4,r4a);\n^~~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:63: Cannot find file containing module: 'SubKey'\nSubKey K5(key4,key5,8'h10);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:64: Cannot find file containing module: 'substitute'\nsubstitute SB5(r4a,r5sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:65: Cannot find file containing module: 'ShiftRows'\nShiftRows SR5(r5sb,r5sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:66: Cannot find file containing module: 'MixColumns'\nMixColumns MX5(r5sr,r5mx);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:67: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A5(r5mx,key5,r5a);\n^~~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:71: Cannot find file containing module: 'SubKey'\nSubKey K6(key5,key6,8'h20);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:72: Cannot find file containing module: 'substitute'\nsubstitute SB6(r5a,r6sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:73: Cannot find file containing module: 'ShiftRows'\nShiftRows SR6(r6sb,r6sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:74: Cannot find file containing module: 'MixColumns'\nMixColumns MX6(r6sr,r6mx);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:75: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A6(r6mx,key6,r6a);\n^~~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:79: Cannot find file containing module: 'SubKey'\nSubKey K7(key6,key7,8'h40);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:80: Cannot find file containing module: 'substitute'\nsubstitute SB7(r6a,r7sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:81: Cannot find file containing module: 'ShiftRows'\nShiftRows SR7(r7sb,r7sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:82: Cannot find file containing module: 'MixColumns'\nMixColumns MX7(r7sr,r7mx);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:83: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A7(r7mx,key7,r7a);\n^~~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:87: Cannot find file containing module: 'SubKey'\nSubKey K8(key7,key8,8'h80);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:88: Cannot find file containing module: 'substitute'\nsubstitute SB8(r7a,r8sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:89: Cannot find file containing module: 'ShiftRows'\nShiftRows SR8(r8sb,r8sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:90: Cannot find file containing module: 'MixColumns'\nMixColumns MX8(r8sr,r8mx);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:91: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A8(r8mx,key8,r8a);\n^~~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:95: Cannot find file containing module: 'SubKey'\nSubKey K9(key8,key9,8'h1b);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:96: Cannot find file containing module: 'substitute'\nsubstitute SB9(r8a,r9sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:97: Cannot find file containing module: 'ShiftRows'\nShiftRows SR9(r9sb,r9sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:98: Cannot find file containing module: 'MixColumns'\nMixColumns MX9(r9sr,r9mx);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:99: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A9(r9mx,key9,r9a);\n^~~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:103: Cannot find file containing module: 'SubKey'\nSubKey K10(key9,key10,8'h36);\n^~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:104: Cannot find file containing module: 'substitute'\nsubstitute SB10(r9a,r10sb);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:105: Cannot find file containing module: 'ShiftRows'\nShiftRows SR10(r10sb,r10sr);\n^~~~~~~~~\n%Error: data/full_repos/permissive/193753641/encrypt.v:106: Cannot find file containing module: 'AddRoundKey'\nAddRoundKey A10(r10sr,key10,r10a);\n^~~~~~~~~~~\n%Error: Exiting due to too many errors encountered; --error-limit=50\n"
module encrypt(text,key,citxt);
input [127:0] text,key;
output [127:0] citxt;


wire [127:0] r0;
AddRoundKey A0(text,key,r0);


wire [127:0] key1,r1sb,r1sr,r1mx,r1a;
SubKey K1(key,key1,8'h01);
substitute SB1(r0,r1sb);
ShiftRows SR1(r1sb,r1sr);
MixColumns MX1(r1sr,r1mx);
AddRoundKey A1(r1mx,key1,r1a);


wire [127:0] key2,r2sb,r2sr,r2mx,r2a;
SubKey K2(key1,key2,8'h02);
substitute SB2(r1a,r2sb);
ShiftRows SR2(r2sb,r2sr);
MixColumns MX2(r2sr,r2mx);
AddRoundKey A2(r2mx,key2,r2a);


wire [127:0] key3,r3sb,r3sr,r3mx,r3a;
SubKey K3(key2,key3,8'h04);
substitute SB3(r2a,r3sb);
ShiftRows SR3(r3sb,r3sr);
MixColumns MX3(r3sr,r3mx);
AddRoundKey A3(r3mx,key3,r3a);


wire [127:0] key4,r4sb,r4sr,r4mx,r4a;
SubKey K4(key3,key4,8'h08);
substitute SB4(r3a,r4sb);
ShiftRows SR4(r4sb,r4sr);
MixColumns MX4(r4sr,r4mx);
AddRoundKey A4(r4mx,key4,r4a);


wire [127:0] key5,r5sb,r5sr,r5mx,r5a;
SubKey K5(key4,key5,8'h10);
substitute SB5(r4a,r5sb);
ShiftRows SR5(r5sb,r5sr);
MixColumns MX5(r5sr,r5mx);
AddRoundKey A5(r5mx,key5,r5a);


wire [127:0] key6,r6sb,r6sr,r6mx,r6a;
SubKey K6(key5,key6,8'h20);
substitute SB6(r5a,r6sb);
ShiftRows SR6(r6sb,r6sr);
MixColumns MX6(r6sr,r6mx);
AddRoundKey A6(r6mx,key6,r6a);


wire [127:0] key7,r7sb,r7sr,r7mx,r7a;
SubKey K7(key6,key7,8'h40);
substitute SB7(r6a,r7sb);
ShiftRows SR7(r7sb,r7sr);
MixColumns MX7(r7sr,r7mx);
AddRoundKey A7(r7mx,key7,r7a);


wire [127:0] key8,r8sb,r8sr,r8mx,r8a;
SubKey K8(key7,key8,8'h80);
substitute SB8(r7a,r8sb);
ShiftRows SR8(r8sb,r8sr);
MixColumns MX8(r8sr,r8mx);
AddRoundKey A8(r8mx,key8,r8a);


wire [127:0] key9,r9sb,r9sr,r9mx,r9a;
SubKey K9(key8,key9,8'h1b);
substitute SB9(r8a,r9sb);
ShiftRows SR9(r9sb,r9sr);
MixColumns MX9(r9sr,r9mx);
AddRoundKey A9(r9mx,key9,r9a);


wire [127:0] key10,r10sb,r10sr,r10a;
SubKey K10(key9,key10,8'h36);
substitute SB10(r9a,r10sb);
ShiftRows SR10(r10sb,r10sr);
AddRoundKey A10(r10sr,key10,r10a);

assign citxt=r10a;
endmodule
module encrypt(text,key,citxt);

input [127:0] text,key;
output [127:0] citxt;


wire [127:0] r0;
AddRoundKey A0(text,key,r0);


wire [127:0] key1,r1sb,r1sr,r1mx,r1a;
SubKey K1(key,key1,8'h01);
substitute SB1(r0,r1sb);
ShiftRows SR1(r1sb,r1sr);
MixColumns MX1(r1sr,r1mx);
AddRoundKey A1(r1mx,key1,r1a);


wire [127:0] key2,r2sb,r2sr,r2mx,r2a;
SubKey K2(key1,key2,8'h02);
substitute SB2(r1a,r2sb);
ShiftRows SR2(r2sb,r2sr);
MixColumns MX2(r2sr,r2mx);
AddRoundKey A2(r2mx,key2,r2a);


wire [127:0] key3,r3sb,r3sr,r3mx,r3a;
SubKey K3(key2,key3,8'h04);
substitute SB3(r2a,r3sb);
ShiftRows SR3(r3sb,r3sr);
MixColumns MX3(r3sr,r3mx);
AddRoundKey A3(r3mx,key3,r3a);


wire [127:0] key4,r4sb,r4sr,r4mx,r4a;
SubKey K4(key3,key4,8'h08);
substitute SB4(r3a,r4sb);
ShiftRows SR4(r4sb,r4sr);
MixColumns MX4(r4sr,r4mx);
AddRoundKey A4(r4mx,key4,r4a);


wire [127:0] key5,r5sb,r5sr,r5mx,r5a;
SubKey K5(key4,key5,8'h10);
substitute SB5(r4a,r5sb);
ShiftRows SR5(r5sb,r5sr);
MixColumns MX5(r5sr,r5mx);
AddRoundKey A5(r5mx,key5,r5a);


wire [127:0] key6,r6sb,r6sr,r6mx,r6a;
SubKey K6(key5,key6,8'h20);
substitute SB6(r5a,r6sb);
ShiftRows SR6(r6sb,r6sr);
MixColumns MX6(r6sr,r6mx);
AddRoundKey A6(r6mx,key6,r6a);


wire [127:0] key7,r7sb,r7sr,r7mx,r7a;
SubKey K7(key6,key7,8'h40);
substitute SB7(r6a,r7sb);
ShiftRows SR7(r7sb,r7sr);
MixColumns MX7(r7sr,r7mx);
AddRoundKey A7(r7mx,key7,r7a);


wire [127:0] key8,r8sb,r8sr,r8mx,r8a;
SubKey K8(key7,key8,8'h80);
substitute SB8(r7a,r8sb);
ShiftRows SR8(r8sb,r8sr);
MixColumns MX8(r8sr,r8mx);
AddRoundKey A8(r8mx,key8,r8a);


wire [127:0] key9,r9sb,r9sr,r9mx,r9a;
SubKey K9(key8,key9,8'h1b);
substitute SB9(r8a,r9sb);
ShiftRows SR9(r9sb,r9sr);
MixColumns MX9(r9sr,r9mx);
AddRoundKey A9(r9mx,key9,r9a);


wire [127:0] key10,r10sb,r10sr,r10a;
SubKey K10(key9,key10,8'h36);
substitute SB10(r9a,r10sb);
ShiftRows SR10(r10sb,r10sr);
AddRoundKey A10(r10sr,key10,r10a);

assign citxt=r10a;
endmodule