des.map.eqn

用VERILOG语言实现的数据加密标准代码,在QUARTUS5.1上仿真过

--A1L17 is Select~5004
A1L17 = A1L243 & (A1L16 & (B1L34) # !A1L16 & dreg[49]) # !A1L243 & (A1L16);


--A1L280 is dreg[33]~415
A1L280 = initst.01 & (dreg[48]) # !initst.01 & din[33];


--A1L18 is Select~5005
A1L18 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[58] # !initst.10 & (din[26]));


--B1L345 is oneblock1:inst|keyout[54]~4132
B1L345 = kreg[30] & !shvar[1];


--kreg[33] is kreg[33]
kreg[33] = DFFEAS(A1L551, clk, !en,  , A1L244, B1L252,  ,  , initst.10);


--B1L346 is oneblock1:inst|keyout[54]~4133
B1L346 = kreg[32] & !shvar[1];


--B1L244 is oneblock1:inst|keyout[31]~4134
B1L244 = B1L233 & (B1L234 & (B1L346) # !B1L234 & kreg[33]) # !B1L233 & (B1L234);


--B1L245 is oneblock1:inst|keyout[31]~4135
B1L245 = B1L232 & (B1L244 & (kreg[29]) # !B1L244 & kreg[31]) # !B1L232 & (B1L244);


--B1L246 is oneblock1:inst|keyout[31]~4136
B1L246 = shvar[0] & (mode & B1L345 # !mode & (B1L245)) # !shvar[0] & (B1L245);


--B1_ed2[47] is oneblock1:inst|ed2[47]
B1_ed2[47] = dreg[32] $ B1L246;


--B1L347 is oneblock1:inst|keyout[54]~4137
B1L347 = kreg[40] & !shvar[1];


--kreg[43] is kreg[43]
kreg[43] = DFFEAS(A1L581, clk, !en,  , A1L244, B1L273,  ,  , initst.10);


--B1L348 is oneblock1:inst|keyout[54]~4138
B1L348 = kreg[42] & !shvar[1];


--B1L268 is oneblock1:inst|keyout[41]~4139
B1L268 = B1L233 & (B1L234 & (B1L348) # !B1L234 & kreg[43]) # !B1L233 & (B1L234);


--B1L269 is oneblock1:inst|keyout[41]~4140
B1L269 = B1L232 & (B1L268 & (kreg[39]) # !B1L268 & kreg[41]) # !B1L232 & (B1L268);


--B1L270 is oneblock1:inst|keyout[41]~4141
B1L270 = shvar[0] & (mode & B1L347 # !mode & (B1L269)) # !shvar[0] & (B1L269);


--B1_ed2[43] is oneblock1:inst|ed2[43]
B1_ed2[43] = dreg[60] $ B1L270;


--B1L235 is oneblock1:inst|keyout[28]~4142
B1L235 = B1L233 & (B1L234 & (B1L315) # !B1L234 & kreg[30]) # !B1L233 & (B1L234);


--B1L236 is oneblock1:inst|keyout[28]~4143
B1L236 = B1L232 & (B1L235 & (kreg[54]) # !B1L235 & kreg[28]) # !B1L232 & (B1L235);


--B1L237 is oneblock1:inst|keyout[28]~4144
B1L237 = shvar[0] & (mode & B1L308 # !mode & (B1L236)) # !shvar[0] & (B1L236);


--B1_ed2[46] is oneblock1:inst|ed2[46]
B1_ed2[46] = dreg[63] $ B1L237;


--B1L349 is oneblock1:inst|keyout[54]~4145
B1L349 = kreg[34] & !shvar[1];


--B1L350 is oneblock1:inst|keyout[54]~4146
B1L350 = kreg[36] & !shvar[1];


--B1L253 is oneblock1:inst|keyout[35]~4147
B1L253 = B1L233 & (B1L234 & (B1L350) # !B1L234 & kreg[37]) # !B1L233 & (B1L234);


--B1L254 is oneblock1:inst|keyout[35]~4148
B1L254 = B1L232 & (B1L253 & (kreg[33]) # !B1L253 & kreg[35]) # !B1L232 & (B1L253);


--B1L255 is oneblock1:inst|keyout[35]~4149
B1L255 = shvar[0] & (mode & B1L349 # !mode & (B1L254)) # !shvar[0] & (B1L254);


--B1_ed2[45] is oneblock1:inst|ed2[45]
B1_ed2[45] = dreg[62] $ B1L255;


--B1L351 is oneblock1:inst|keyout[54]~4150
B1L351 = kreg[48] & !shvar[1];


--B1L289 is oneblock1:inst|keyout[49]~4151
B1L289 = B1L233 & (B1L234 & (B1L313) # !B1L234 & kreg[51]) # !B1L233 & (B1L234);


--B1L290 is oneblock1:inst|keyout[49]~4152
B1L290 = B1L232 & (B1L289 & (kreg[47]) # !B1L289 & kreg[49]) # !B1L232 & (B1L289);


--B1L291 is oneblock1:inst|keyout[49]~4153
B1L291 = shvar[0] & (mode & B1L351 # !mode & (B1L290)) # !shvar[0] & (B1L290);


--B1_ed2[44] is oneblock1:inst|ed2[44]
B1_ed2[44] = dreg[61] $ B1L291;


--B1L352 is oneblock1:inst|keyout[54]~4154
B1L352 = kreg[44] & !shvar[1];


--B1L353 is oneblock1:inst|keyout[54]~4155
B1L353 = kreg[46] & !shvar[1];


--B1L277 is oneblock1:inst|keyout[45]~4156
B1L277 = B1L233 & (B1L234 & (B1L353) # !B1L234 & kreg[47]) # !B1L233 & (B1L234);


--B1L278 is oneblock1:inst|keyout[45]~4157
B1L278 = B1L232 & (B1L277 & (kreg[43]) # !B1L277 & kreg[45]) # !B1L232 & (B1L277);


--B1L279 is oneblock1:inst|keyout[45]~4158
B1L279 = shvar[0] & (mode & B1L352 # !mode & (B1L278)) # !shvar[0] & (B1L278);


--B1_ed2[42] is oneblock1:inst|ed2[42]
B1_ed2[42] = dreg[59] $ B1L279;


--B1L35 is oneblock1:inst|dout~1162
B1L35 = B1_ed2[45] $ (B1_ed2[46] & !B1_ed2[44] & !B1_ed2[42] # !B1_ed2[46] & B1_ed2[44] & B1_ed2[42]);


--B1L36 is oneblock1:inst|dout~1163
B1L36 = B1_ed2[42] & (B1_ed2[45] $ (B1_ed2[46] & !B1_ed2[44]));


--B1L37 is oneblock1:inst|dout~1164
B1L37 = B1_ed2[43] & (B1L36 & !B1L35 # !B1L36 & (!B1L106)) # !B1_ed2[43] & B1L35;


--B1L38 is oneblock1:inst|dout~1165
B1L38 = dreg[26] $ B1L37 $ (!B1_ed2[47] & !B1L107);


--A1L19 is Select~5006
A1L19 = A1L243 & (A1L18 & (B1L38) # !A1L18 & dreg[47]) # !A1L243 & (A1L18);


--A1L357 is dreg[58]~416
A1L357 = initst.01 & (dreg[46]) # !initst.01 & din[58];


--A1L20 is Select~5007
A1L20 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[50] # !initst.10 & (din[18]));


--B1L283 is oneblock1:inst|keyout[47]~4159
B1L283 = B1L233 & (B1L234 & (B1L351) # !B1L234 & kreg[49]) # !B1L233 & (B1L234);


--B1L284 is oneblock1:inst|keyout[47]~4160
B1L284 = B1L232 & (B1L283 & (kreg[45]) # !B1L283 & kreg[47]) # !B1L232 & (B1L283);


--B1L285 is oneblock1:inst|keyout[47]~4161
B1L285 = shvar[0] & (mode & B1L353 # !mode & (B1L284)) # !shvar[0] & (B1L284);


--B1_ed2[35] is oneblock1:inst|ed2[35]
B1_ed2[35] = dreg[56] $ B1L285;


--B1L354 is oneblock1:inst|keyout[54]~4162
B1L354 = kreg[33] & !shvar[1];


--B1L247 is oneblock1:inst|keyout[32]~4163
B1L247 = B1L233 & (B1L234 & (B1L354) # !B1L234 & kreg[34]) # !B1L233 & (B1L234);


--B1L248 is oneblock1:inst|keyout[32]~4164
B1L248 = B1L232 & (B1L247 & (kreg[30]) # !B1L247 & kreg[32]) # !B1L232 & (B1L247);


--B1L249 is oneblock1:inst|keyout[32]~4165
B1L249 = shvar[0] & (mode & B1L316 # !mode & (B1L248)) # !shvar[0] & (B1L248);


--B1_ed2[34] is oneblock1:inst|ed2[34]
B1_ed2[34] = dreg[55] $ B1L249;


--B1L355 is oneblock1:inst|keyout[54]~4166
B1L355 = kreg[43] & !shvar[1];


--B1L274 is oneblock1:inst|keyout[44]~4167
B1L274 = B1L233 & (B1L234 & (B1L303) # !B1L234 & kreg[46]) # !B1L233 & (B1L234);


--B1L275 is oneblock1:inst|keyout[44]~4168
B1L275 = B1L232 & (B1L274 & (kreg[42]) # !B1L274 & kreg[44]) # !B1L232 & (B1L274);


--B1L276 is oneblock1:inst|keyout[44]~4169
B1L276 = shvar[0] & (mode & B1L355 # !mode & (B1L275)) # !shvar[0] & (B1L275);


--B1_ed2[33] is oneblock1:inst|ed2[33]
B1_ed2[33] = dreg[54] $ B1L276;


--B1L356 is oneblock1:inst|keyout[54]~4170
B1L356 = kreg[28] & !shvar[1];


--B1L238 is oneblock1:inst|keyout[29]~4171
B1L238 = B1L233 & (B1L234 & (B1L345) # !B1L234 & kreg[31]) # !B1L233 & (B1L234);


--B1L239 is oneblock1:inst|keyout[29]~4172
B1L239 = B1L232 & (B1L238 & (kreg[55]) # !B1L238 & kreg[29]) # !B1L232 & (B1L238);


--B1L240 is oneblock1:inst|keyout[29]~4173
B1L240 = shvar[0] & (mode & B1L356 # !mode & (B1L239)) # !shvar[0] & (B1L239);


--B1_ed2[30] is oneblock1:inst|ed2[30]
B1_ed2[30] = dreg[51] $ B1L240;


--B1L357 is oneblock1:inst|keyout[54]~4174
B1L357 = kreg[49] & !shvar[1];


--B1L358 is oneblock1:inst|keyout[54]~4175
B1L358 = kreg[51] & !shvar[1];


--B1L292 is oneblock1:inst|keyout[50]~4176
B1L292 = B1L233 & (B1L234 & (B1L358) # !B1L234 & kreg[52]) # !B1L233 & (B1L234);


--B1L293 is oneblock1:inst|keyout[50]~4177
B1L293 = B1L232 & (B1L292 & (kreg[48]) # !B1L292 & kreg[50]) # !B1L232 & (B1L292);


--B1L294 is oneblock1:inst|keyout[50]~4178
B1L294 = shvar[0] & (mode & B1L357 # !mode & (B1L293)) # !shvar[0] & (B1L293);


--B1_ed2[32] is oneblock1:inst|ed2[32]
B1_ed2[32] = dreg[53] $ B1L294;


--B1L359 is oneblock1:inst|keyout[54]~4179
B1L359 = kreg[38] & !shvar[1];


--B1L262 is oneblock1:inst|keyout[39]~4180
B1L262 = B1L233 & (B1L234 & (B1L347) # !B1L234 & kreg[41]) # !B1L233 & (B1L234);


--B1L263 is oneblock1:inst|keyout[39]~4181
B1L263 = B1L232 & (B1L262 & (kreg[37]) # !B1L262 & kreg[39]) # !B1L232 & (B1L262);


--B1L264 is oneblock1:inst|keyout[39]~4182
B1L264 = shvar[0] & (mode & B1L359 # !mode & (B1L263)) # !shvar[0] & (B1L263);


--B1_ed2[31] is oneblock1:inst|ed2[31]
B1_ed2[31] = dreg[52] $ B1L264;


--B1L39 is oneblock1:inst|dout~1166
B1L39 = B1_ed2[30] & (B1_ed2[33] $ B1_ed2[32]) # !B1_ed2[30] & B1_ed2[33] & (B1_ed2[32] # !B1_ed2[31]);


--B1L40 is oneblock1:inst|dout~1167
B1L40 = B1_ed2[33] & (B1_ed2[31] & (B1_ed2[32]) # !B1_ed2[31] & B1_ed2[30]) # !B1_ed2[33] & B1_ed2[30] & (B1_ed2[32] $ !B1_ed2[31]);


--B1L41 is oneblock1:inst|dout~1168
B1L41 = B1_ed2[31] & (B1_ed2[30] & (!B1_ed2[32]) # !B1_ed2[30] & B1_ed2[33]) # !B1_ed2[31] & (B1_ed2[32]);


--B1L42 is oneblock1:inst|dout~1169
B1L42 = B1_ed2[34] & (B1L39 & !B1L40 & B1L41 # !B1L39 & (!B1L41)) # !B1_ed2[34] & (B1L41);


--B1L43 is oneblock1:inst|dout~1170
B1L43 = B1L39 & (B1_ed2[34] # B1L40 $ B1L41) # !B1L39 & (B1L40);


--B1L44 is oneblock1:inst|dout~1171
B1L44 = dreg[18] $ B1L42 $ (!B1_ed2[35] & B1L43);


--A1L21 is Select~5008
A1L21 = A1L243 & (A1L20 & (B1L44) # !A1L20 & dreg[45]) # !A1L243 & (A1L20);


--A1L333 is dreg[50]~417
A1L333 = initst.01 & (dreg[44]) # !initst.01 & din[50];


--A1L22 is Select~5009
A1L22 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[42] # !initst.10 & (din[10]));


--H1L1 is oneblock1:inst|sbox66:box6|sout[2]~368
H1L1 = B1_ed2[34] & !B1_ed2[30] & (B1_ed2[31] # !B1_ed2[35]) # !B1_ed2[34] & (B1_ed2[30] $ B1_ed2[35] $ B1_ed2[31]);


--H1L2 is oneblock1:inst|sbox66:box6|sout[2]~369
H1L2 = B1_ed2[30] & (B1_ed2[34] $ (B1_ed2[31])) # !B1_ed2[30] & (B1_ed2[34] & !B1_ed2[35] & B1_ed2[31] # !B1_ed2[34] & B1_ed2[35]);


--H1L3 is oneblock1:inst|sbox66:box6|sout[2]~370
H1L3 = B1_ed2[30] & (B1_ed2[34] & (B1_ed2[35] # !B1_ed2[31]) # !B1_ed2[34] & (B1_ed2[31])) # !B1_ed2[30] & B1_ed2[35] & (!B1_ed2[31] # !B1_ed2[34]);


--H1L4 is oneblock1:inst|sbox66:box6|sout[2]~371
H1L4 = B1_ed2[32] & (B1_ed2[33]) # !B1_ed2[32] & (B1_ed2[33] & !H1L2 # !B1_ed2[33] & (H1L3));


--H1L5 is oneblock1:inst|sbox66:box6|sout[2]~372
H1L5 = B1_ed2[34] & (B1_ed2[31] & (B1_ed2[35]) # !B1_ed2[31] & !B1_ed2[30]) # !B1_ed2[34] & (B1_ed2[30] $ B1_ed2[35] $ B1_ed2[31]);


--H1L6 is oneblock1:inst|sbox66:box6|sout[2]~373
H1L6 = B1_ed2[32] & (H1L4 & (!H1L5) # !H1L4 & H1L1) # !B1_ed2[32] & (H1L4);


--B1L11 is oneblock1:inst|dout~21
B1L11 = dreg[10] $ H1L6;


--A1L23 is Select~5010
A1L23 = A1L243 & (A1L22 & (B1L11) # !A1L22 & dreg[43]) # !A1L243 & (A1L22);


--A1L24 is Select~5011
A1L24 = initst.10 & A1L85 & (!shvar[2]) # !initst.10 & (!initst.01);


--A1L307 is dreg[42]~1128
A1L307 = A1L24 & initst.10 & B1L11 # !A1L24 & (dreg[42]);


--A1L308 is dreg[42]~1129
A1L308 = initst.10 # initst.01;


--A1L25 is Select~5012
A1L25 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[34] # !initst.10 & (din[2]));


--G1L7 is oneblock1:inst|sbox55:box5|sout[3]~368
G1L7 = B1_ed2[26] & (B1_ed2[29] $ (!B1_ed2[27] & B1_ed2[24])) # !B1_ed2[26] & (B1_ed2[27] $ (B1_ed2[29] & !B1_ed2[24]));


--G1L8 is oneblock1:inst|sbox55:box5|sout[3]~369
G1L8 = B1_ed2[27] & (B1_ed2[26] & B1_ed2[29] & B1_ed2[24] # !B1_ed2[26] & (!B1_ed2[24])) # !B1_ed2[27] & (B1_ed2[24] $ (B1_ed2[29] # B1_ed2[26]));


--G1L9 is oneblock1:inst|sbox55:box5|sout[3]~370
G1L9 = B1_ed2[24] & (B1_ed2[29] $ B1_ed2[27]) # !B1_ed2[24] & B1_ed2[26] & (B1_ed2[27] # !B1_ed2[29]);


--G1L10 is oneblock1:inst|sbox55:box5|sout[3]~371
G1L10 = B1_ed2[28] & (B1_ed2[25]) # !B1_ed2[28] & (B1_ed2[25] & G1L8 # !B1_ed2[25] & (G1L9));


--G1L11 is oneblock1:inst|sbox55:box5|sout[3]~372
G1L11 = B1_ed2[26] & (B1_ed2[29] $ B1_ed2[27] $ !B1_ed2[24]) # !B1_ed2[26] & B1_ed2[29] & (!B1_ed2[24]);


--G1L12 is oneblock1:inst|sbox55:box5|sout[3]~373
G1L12 = B1_ed2[28] & (G1L10 & (!G1L11) # !G1L10 & G1L7) # !B1_ed2[28] & (G1L10);


--B1L15 is oneblock1:inst|dout~29
B1L15 = dreg[2] $ G1L12;


--A1L26 is Select~5013
A1L26 = A1L243 & (A1L25 & (B1L15) # !A1L25 & dreg[41]) # !A1L243 & (A1L25);


--A1L283 is dreg[34]~418
A1L283 = initst.01 & (dreg[40]) # !initst.01 & din[34];


--A1L27 is Select~5014
A1L27 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[59] # !initst.10 & (din[27]));


--D1L1 is oneblock1:inst|sbox22:box2|reduce_or~66
D1L1 = B1_ed2[10] $ (B1_ed2[7] & (!B1_ed2[8]) # !B1_ed2[7] & B1_ed2[9]);


--D1L4 is oneblock1:inst|sbox22:box2|sout[1]~675
D1L4 = !D1L1 & (dreg[40] $ !B1L186);


--D1L2 is oneblock1:inst|sbox22:box2|reduce_or~67
D1L2 = B1_ed2[10] & (B1_ed2[9] $ (!B1_ed2[7])) # !B1_ed2[10] & (B1_ed2[7] & (!B1_ed2[8]) # !B1_ed2[7] & B1_ed2[9]);


--D1L3 is oneblock1:inst|sbox22:box2|reduce_or~68
D1L3 = B1_ed2[8] & (B1_ed2[10] $ !B1_ed2[9]) # !B1_ed2[8] & (B1_ed2[7] $ (B1_ed2[10] # B1_ed2[9]));


--D1L5 is oneblock1:inst|sbox22:box2|sout[1]~676
D1L5 = B1_ed2[11] & (B1_ed2[6] $ D1L3) # !B1_ed2[11] & D1L2 & B1_ed2[6];


--B1L2 is oneblock1:inst|dout~4
B1L2 = dreg[27] $ (D1L5 # !B1_ed2[6] & D1L4);


--A1L28 is Select~5015
A1L28 = A1L243 & (A1L27 & (B1L2) # !A1L27 & dreg[39]) # !A1L243 & (A1L27);


--A1L360 is dreg[59]~419
A1L360 = initst.01 & (dreg[38]) # !initst.01 & din[59];


--A1L29 is Select~5016
A1L29 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[51] # !initst.10 & (din[19]));


--B1L7 is oneblock1:inst|dout~12
B1L7 = dreg[19] $ (B1_ed2[23] & (F1L9) # !B1_ed2[23] & F1L10);


--A1L30 is Select~5017
A1L30 = A1L243 & (A1L29 & (B1L7) # !A1L29 & dreg[37]) # !A1L243 & (A1L29);