des.map.eqn

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

--A1L336 is dreg[51]~420
A1L336 = initst.01 & (dreg[36]) # !initst.01 & din[51];


--A1L31 is Select~5018
A1L31 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[43] # !initst.10 & (din[11]));


--B1L250 is oneblock1:inst|keyout[33]~4183
B1L250 = B1L233 & (B1L234 & (B1L349) # !B1L234 & kreg[35]) # !B1L233 & (B1L234);


--B1L251 is oneblock1:inst|keyout[33]~4184
B1L251 = B1L232 & (B1L250 & (kreg[31]) # !B1L250 & kreg[33]) # !B1L232 & (B1L250);


--B1L252 is oneblock1:inst|keyout[33]~4185
B1L252 = shvar[0] & (mode & B1L346 # !mode & (B1L251)) # !shvar[0] & (B1L251);


--B1_ed2[40] is oneblock1:inst|ed2[40]
B1_ed2[40] = dreg[59] $ B1L252;


--B1L360 is oneblock1:inst|keyout[54]~4186
B1L360 = kreg[54] & !shvar[1];


--B1L362 is oneblock1:inst|keyout[55]~4187
B1L362 = B1L234 & (B1L232) # !B1L234 & (B1L232 & kreg[55] # !B1L232 & (B1L342));


--B1L363 is oneblock1:inst|keyout[55]~4188
B1L363 = B1L234 & (B1L362 & (kreg[53]) # !B1L362 & B1L356) # !B1L234 & (B1L362);


--B1L364 is oneblock1:inst|keyout[55]~4189
B1L364 = shvar[0] & (mode & B1L360 # !mode & (B1L363)) # !shvar[0] & (B1L363);


--B1_ed2[39] is oneblock1:inst|ed2[39]
B1_ed2[39] = dreg[58] $ B1L364;


--B1L259 is oneblock1:inst|keyout[38]~4190
B1L259 = B1L233 & (B1L234 & (B1L301) # !B1L234 & kreg[40]) # !B1L233 & (B1L234);


--B1L260 is oneblock1:inst|keyout[38]~4191
B1L260 = B1L232 & (B1L259 & (kreg[36]) # !B1L259 & kreg[38]) # !B1L232 & (B1L259);


--B1L261 is oneblock1:inst|keyout[38]~4192
B1L261 = shvar[0] & (mode & B1L306 # !mode & (B1L260)) # !shvar[0] & (B1L260);


--B1_ed2[38] is oneblock1:inst|ed2[38]
B1_ed2[38] = dreg[57] $ B1L261;


--B1L286 is oneblock1:inst|keyout[48]~4193
B1L286 = B1L233 & (B1L234 & (B1L357) # !B1L234 & kreg[50]) # !B1L233 & (B1L234);


--B1L287 is oneblock1:inst|keyout[48]~4194
B1L287 = B1L232 & (B1L286 & (kreg[46]) # !B1L286 & kreg[48]) # !B1L232 & (B1L286);


--B1L288 is oneblock1:inst|keyout[48]~4195
B1L288 = shvar[0] & (mode & B1L304 # !mode & (B1L287)) # !shvar[0] & (B1L287);


--B1_ed2[37] is oneblock1:inst|ed2[37]
B1_ed2[37] = dreg[56] $ B1L288;


--J1L1 is oneblock1:inst|sbox77:box7|reduce_or~148
J1L1 = B1_ed2[40] & (B1_ed2[38] & (!B1_ed2[37]) # !B1_ed2[38] & !B1_ed2[39]) # !B1_ed2[40] & (B1_ed2[37] & (B1_ed2[38]) # !B1_ed2[37] & B1_ed2[39]);


--B1L298 is oneblock1:inst|keyout[52]~4196
B1L298 = B1L233 & (B1L234 & (B1L307) # !B1L234 & kreg[54]) # !B1L233 & (B1L234);


--B1L299 is oneblock1:inst|keyout[52]~4197
B1L299 = B1L232 & (B1L298 & (kreg[50]) # !B1L298 & kreg[52]) # !B1L232 & (B1L298);


--B1L300 is oneblock1:inst|keyout[52]~4198
B1L300 = shvar[0] & (mode & B1L358 # !mode & (B1L299)) # !shvar[0] & (B1L299);


--B1_ed2[41] is oneblock1:inst|ed2[41]
B1_ed2[41] = dreg[60] $ B1L300;


--J1L2 is oneblock1:inst|sbox77:box7|reduce_or~149
J1L2 = B1_ed2[39] & (B1_ed2[37] $ (B1_ed2[40] # B1_ed2[38])) # !B1_ed2[39] & (B1_ed2[40] $ (B1_ed2[38] & !B1_ed2[37]));


--B1L271 is oneblock1:inst|keyout[43]~4199
B1L271 = B1L233 & (B1L234 & (B1L352) # !B1L234 & kreg[45]) # !B1L233 & (B1L234);


--B1L272 is oneblock1:inst|keyout[43]~4200
B1L272 = B1L232 & (B1L271 & (kreg[41]) # !B1L271 & kreg[43]) # !B1L232 & (B1L271);


--B1L273 is oneblock1:inst|keyout[43]~4201
B1L273 = shvar[0] & (mode & B1L348 # !mode & (B1L272)) # !shvar[0] & (B1L272);


--B1_ed2[36] is oneblock1:inst|ed2[36]
B1_ed2[36] = dreg[55] $ B1L273;


--J1L3 is oneblock1:inst|sbox77:box7|reduce_or~150
J1L3 = B1_ed2[40] $ (B1_ed2[37] & (!B1_ed2[38]) # !B1_ed2[37] & B1_ed2[39]);


--J1L10 is oneblock1:inst|sbox77:box7|sout[1]~526
J1L10 = B1_ed2[41] & (B1_ed2[36]) # !B1_ed2[41] & (B1_ed2[36] & J1L2 # !B1_ed2[36] & (!J1L3));


--J1L4 is oneblock1:inst|sbox77:box7|reduce_or~151
J1L4 = B1_ed2[40] $ (B1_ed2[38] & (B1_ed2[39] # !B1_ed2[37]) # !B1_ed2[38] & (B1_ed2[37]));


--J1L11 is oneblock1:inst|sbox77:box7|sout[1]~527
J1L11 = B1_ed2[41] & (J1L10 & (!J1L4) # !J1L10 & !J1L1) # !B1_ed2[41] & (J1L10);


--B1L10 is oneblock1:inst|dout~20
B1L10 = dreg[11] $ J1L11;


--A1L32 is Select~5019
A1L32 = A1L243 & (A1L31 & (B1L10) # !A1L31 & dreg[35]) # !A1L243 & (A1L31);


--A1L311 is dreg[43]~421
A1L311 = initst.01 & (dreg[34]) # !initst.01 & din[43];


--A1L33 is Select~5020
A1L33 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[35] # !initst.10 & (din[3]));


--B1L45 is oneblock1:inst|dout~1172
B1L45 = B1_ed2[35] & (B1_ed2[30] & !B1_ed2[34] # !B1_ed2[30] & (B1_ed2[33]));


--B1L46 is oneblock1:inst|dout~1173
B1L46 = B1_ed2[34] & B1_ed2[31] & (B1L108 # !B1L45) # !B1_ed2[34] & (B1L45 # B1_ed2[31] $ B1L108);


--B1L47 is oneblock1:inst|dout~1174
B1L47 = B1_ed2[34] $ (B1L108 & (!B1L45) # !B1L108 & B1_ed2[31] & B1L45);


--B1L48 is oneblock1:inst|dout~1175
B1L48 = dreg[3] $ B1L47 $ (B1_ed2[32] # !B1L46);


--A1L34 is Select~5021
A1L34 = A1L243 & (A1L33 & (B1L48) # !A1L33 & dreg[33]) # !A1L243 & (A1L33);


--A1L286 is dreg[35]~422
A1L286 = initst.01 & (dreg[32]) # !initst.01 & din[35];


--A1L35 is Select~5022
A1L35 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[60] # !initst.10 & (din[28]));


--B1L49 is oneblock1:inst|dout~1176
B1L49 = B1_ed2[30] & (B1_ed2[31] $ !B1_ed2[33] # !B1_ed2[35]) # !B1_ed2[30] & B1_ed2[35] & !B1_ed2[31] & B1_ed2[33];


--B1L50 is oneblock1:inst|dout~1177
B1L50 = B1_ed2[33] & (B1_ed2[30] & (B1_ed2[31]) # !B1_ed2[30] & B1_ed2[35]) # !B1_ed2[33] & (B1_ed2[35] $ B1_ed2[31]);


--B1L51 is oneblock1:inst|dout~1178
B1L51 = B1_ed2[30] & (B1_ed2[31] & B1_ed2[35] # !B1_ed2[31] & (B1_ed2[33])) # !B1_ed2[30] & B1_ed2[33] & (B1_ed2[31] # !B1_ed2[35]);


--B1L52 is oneblock1:inst|dout~1179
B1L52 = B1L49 & (B1L50 & (B1L51) # !B1L50 & !B1_ed2[34]) # !B1L49 & B1_ed2[34] & (!B1L51);


--B1L53 is oneblock1:inst|dout~1180
B1L53 = B1L50 & (B1L49 & B1_ed2[34] # !B1L49 & (!B1L51)) # !B1L50 & !B1_ed2[34] & (B1L51);


--B1L54 is oneblock1:inst|dout~1181
B1L54 = dreg[28] $ B1L53 $ (!B1_ed2[32] & !B1L52);


--A1L36 is Select~5023
A1L36 = A1L243 & (A1L35 & (B1L54) # !A1L35 & dreg[31]) # !A1L243 & (A1L35);


--A1L363 is dreg[60]~423
A1L363 = initst.01 & (dreg[30]) # !initst.01 & din[60];


--A1L37 is Select~5024
A1L37 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[52] # !initst.10 & (din[20]));


--K1L1 is oneblock1:inst|sbox88:box8|reduce_or~134
K1L1 = B1_ed2[46] & (B1_ed2[43] & (B1_ed2[44]) # !B1_ed2[43] & B1_ed2[45]) # !B1_ed2[46] & (B1_ed2[44] & !B1_ed2[45] # !B1_ed2[44] & (B1_ed2[43]));


--K1L2 is oneblock1:inst|sbox88:box8|reduce_or~135
K1L2 = B1_ed2[46] & (B1_ed2[44] $ (!B1_ed2[45] & B1_ed2[43])) # !B1_ed2[46] & (B1_ed2[43] & (!B1_ed2[44]) # !B1_ed2[43] & B1_ed2[45]);


--K1L3 is oneblock1:inst|sbox88:box8|reduce_or~136
K1L3 = B1_ed2[44] $ (B1_ed2[46] & (B1_ed2[45] # !B1_ed2[43]) # !B1_ed2[46] & (B1_ed2[45] $ B1_ed2[43]));


--K1L9 is oneblock1:inst|sbox88:box8|sout[3]~517
K1L9 = B1_ed2[47] & (B1_ed2[42]) # !B1_ed2[47] & (B1_ed2[42] & !K1L2 # !B1_ed2[42] & (!K1L3));


--K1L4 is oneblock1:inst|sbox88:box8|reduce_or~137
K1L4 = B1_ed2[44] & (B1_ed2[45] & B1_ed2[46] # !B1_ed2[45] & (B1_ed2[43])) # !B1_ed2[44] & (B1_ed2[46] $ (B1_ed2[43]));


--K1L10 is oneblock1:inst|sbox88:box8|sout[3]~518
K1L10 = B1_ed2[47] & (K1L9 & (K1L4) # !K1L9 & !K1L1) # !B1_ed2[47] & (K1L9);


--B1L6 is oneblock1:inst|dout~11
B1L6 = dreg[20] $ K1L10;


--A1L38 is Select~5025
A1L38 = A1L243 & (A1L37 & (B1L6) # !A1L37 & dreg[29]) # !A1L243 & (A1L37);


--A1L339 is dreg[52]~424
A1L339 = initst.01 & (dreg[28]) # !initst.01 & din[52];


--A1L39 is Select~5026
A1L39 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[44] # !initst.10 & (din[12]));


--B1L55 is oneblock1:inst|dout~1182
B1L55 = B1_ed2[11] & (B1_ed2[8] $ (!B1_ed2[7] & !B1_ed2[6])) # !B1_ed2[11] & (B1_ed2[6] & (!B1_ed2[8]) # !B1_ed2[6] & !B1_ed2[7] & B1_ed2[8]);


--B1L56 is oneblock1:inst|dout~1183
B1L56 = B1_ed2[11] & B1_ed2[7] & (B1_ed2[6] # !B1_ed2[8]) # !B1_ed2[11] & (B1_ed2[7] & (B1_ed2[8] # !B1_ed2[6]) # !B1_ed2[7] & B1_ed2[6]);


--B1L57 is oneblock1:inst|dout~1184
B1L57 = B1_ed2[6] & (B1_ed2[11] $ B1_ed2[7] $ B1_ed2[8]) # !B1_ed2[6] & B1_ed2[11] & B1_ed2[7] & B1_ed2[8];


--B1L58 is oneblock1:inst|dout~1185
B1L58 = B1L56 & (B1L55 $ !B1L57) # !B1L56 & (B1_ed2[10] # B1L55 & B1L57);


--B1L59 is oneblock1:inst|dout~1186
B1L59 = B1_ed2[10] & (B1L55 & !B1L56 # !B1L55 & (B1L57)) # !B1_ed2[10] & !B1L57 & (B1L55 # B1L56);


--B1L60 is oneblock1:inst|dout~1187
B1L60 = dreg[12] $ B1L59 $ (B1_ed2[9] # !B1L58);


--A1L40 is Select~5027
A1L40 = A1L243 & (A1L39 & (B1L60) # !A1L39 & dreg[27]) # !A1L243 & (A1L39);


--A1L314 is dreg[44]~425
A1L314 = initst.01 & (dreg[26]) # !initst.01 & din[44];


--A1L41 is Select~5028
A1L41 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[36] # !initst.10 & (din[4]));


--K1L5 is oneblock1:inst|sbox88:box8|reduce_or~138
K1L5 = B1_ed2[46] & (B1_ed2[45] $ (!B1_ed2[43])) # !B1_ed2[46] & (B1_ed2[44] $ (B1_ed2[45] & B1_ed2[43]));


--K1L6 is oneblock1:inst|sbox88:box8|reduce_or~139
K1L6 = B1_ed2[45] & (B1_ed2[46] $ (!B1_ed2[44] & B1_ed2[43])) # !B1_ed2[45] & (B1_ed2[44] $ (B1_ed2[46] & !B1_ed2[43]));


--K1L7 is oneblock1:inst|sbox88:box8|sout[0]~519
K1L7 = B1_ed2[42] & (B1_ed2[47]) # !B1_ed2[42] & (B1_ed2[47] & K1L3 # !B1_ed2[47] & (!K1L6));


--K1L8 is oneblock1:inst|sbox88:box8|sout[0]~520
K1L8 = B1_ed2[42] & (K1L7 & (K1L2) # !K1L7 & K1L5) # !B1_ed2[42] & (K1L7);


--B1L14 is oneblock1:inst|dout~27
B1L14 = dreg[4] $ K1L8;


--A1L42 is Select~5029
A1L42 = A1L243 & (A1L41 & (B1L14) # !A1L41 & dreg[25]) # !A1L243 & (A1L41);


--A1L289 is dreg[36]~426
A1L289 = initst.01 & (dreg[24]) # !initst.01 & din[36];


--A1L43 is Select~5030
A1L43 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[61] # !initst.10 & (din[29]));


--B1L190 is oneblock1:inst|keyout[11]~4202
B1L190 = B1L233 & (B1L234 & (B1L323) # !B1L234 & kreg[13]) # !B1L233 & (B1L234);


--B1L191 is oneblock1:inst|keyout[11]~4203
B1L191 = B1L232 & (B1L190 & (kreg[9]) # !B1L190 & kreg[11]) # !B1L232 & (B1L190);


--B1L192 is oneblock1:inst|keyout[11]~4204
B1L192 = shvar[0] & (mode & B1L340 # !mode & (B1L191)) # !shvar[0] & (B1L191);


--B1_ed2[14] is oneblock1:inst|ed2[14]
B1_ed2[14] = dreg[41] $ B1L192;


--B1L223 is oneblock1:inst|keyout[25]~4205
B1L223 = B1L233 & (B1L234 & (B1L341) # !B1L234 & kreg[27]) # !B1L233 & (B1L234);


--B1L224 is oneblock1:inst|keyout[25]~4206
B1L224 = B1L232 & (B1L223 & (kreg[23]) # !B1L223 & kreg[25]) # !B1L232 & (B1L223);


--B1L225 is oneblock1:inst|keyout[25]~4207
B1L225 = shvar[0] & (mode & B1L320 # !mode & (B1L224)) # !shvar[0] & (B1L224);


--B1_ed2[16] is oneblock1:inst|ed2[16]
B1_ed2[16] = dreg[43] $ B1L225;


--B1L169 is oneblock1:inst|keyout[3]~4208
B1L169 = B1L233 & (B1L234 & (B1L343) # !B1L234 & kreg[5]) # !B1L233 & (B1L234);


--B1L170 is oneblock1:inst|keyout[3]~4209
B1L170 = B1L232 & (B1L169 & (kreg[1]) # !B1L169 & kreg[3]) # !B1L232 & (B1L169);


--B1L171 is oneblock1:inst|keyout[3]~4210
B1L171 = shvar[0] & (mode & B1L330 # !mode & (B1L170)) # !shvar[0] & (B1L170);


--B1_ed2[15] is oneblock1:inst|ed2[15]
B1_ed2[15] = dreg[42] $ B1L171;


--B1L181 is oneblock1:inst|keyout[7]~4211
B1L181 = B1L233 & (B1L234 & (B1L339) # !B1L234 & kreg[9]) # !B1L233 & (B1L234);


--B1L182 is oneblock1:inst|keyout[7]~4212
B1L182 = B1L232 & (B1L181 & (kreg[5]) # !B1L181 & kreg[7]) # !B1L232 & (B1L181);


--B1L183 is oneblock1:inst|keyout[7]~4213
B1L183 = shvar[0] & (mode & B1L344 # !mode & (B1L182)) # !shvar[0] & (B1L182);


--B1_ed2[17] is oneblock1:inst|ed2[17]
B1_ed2[17] = dreg[44] $ B1L183;


--B1L361 is oneblock1:inst|keyout[54]~4214
B1L361 = kreg[23] & !shvar[1];


--B1L217 is oneblock1:inst|keyout[22]~4215
B1L217 = B1L233 & (B1L234 & (B1L361) # !B1L234 & kreg[24]) # !B1L233 & (B1L234);


--B1L218 is oneblock1:inst|keyout[22]~4216
B1L218 = B1L232 & (B1L217 & (kreg[20]) # !B1L217 & kreg[22]) # !B1L232 & (B1L217);


--B1L219 is oneblock1:inst|keyout[22]~4217
B1L219 = shvar[0] & (mode & B1L338 # !mode & (B1L218)) # !shvar[0] & (B1L218);


--B1_ed2[12] is oneblock1:inst|ed2[12]
B1_ed2[12] = dreg[39] $ B1L219;


--B1L208 is oneblock1:inst|keyout[18]~4218
B1L208 = B1L233 & (B1L234 & (B1L337) # !B1L234 & kreg[20]) # !B1L233 & (B1L234);


--B1L209 is oneblock1:inst|keyout[18]~4219
B1L209 = B1L232 & (B1L208 & (kreg[16]) # !B1L208 & kreg[18]) # !B1L232 & (B1L208);


--B1L210 is oneblock1:inst|keyout[18]~4220
B1L210 = shvar[0] & (mode & B1L328 # !mode & (B1L209)) # !shvar[0] & (B1L209);


--B1_ed2[13] is oneblock1:inst|ed2[13]
B1_ed2[13] = dreg[40] $ B1L210;


--B1L61 is oneblock1:inst|dout~1188
B1L61 = B1_ed2[12] & (B1_ed2[17] # !B1_ed2[15] & !B1_ed2[13]) # !B1_ed2[12] & (B1_ed2[15] $ (B1_ed2[17] & !B1_ed2[13]));


--B1L62 is oneblock1:inst|dout~1189
B1L62 = B1_ed2[15] & B1_ed2[17] & (B1_ed2[12] $ !B1_ed2[13]) # !B1_ed2[15] & (B1_ed2[17] & !B1_ed2[12] & B1_ed2[13] # !B1_ed2[17] & B1_ed2[12]);


--B1L63 is oneblock1:inst|dout~1190
B1L63 = B1_ed2[12] & (B1_ed2[15] $ (!B1_ed2[17] & B1_ed2[13])) # !B1_ed2[12] & !B1_ed2[15] & (B1_ed2[13]);


--B1L64 is oneblock1:inst|dout~1191
B1L64 = B1L61 & (B1L63 & (!B1L62) # !B1L63 & !B1_ed2[16]) # !B1L61 & (B1_ed2[16] # B1L62 $ B1L63);


--B1L65 is oneblock1:inst|dout~1192
B1L65 = B1L61 & (B1_ed2[16] $ B1L62 $ B1L63) # !B1L61 & B1L63 & (B1_ed2[16] $ B1L62);


--B1L66 is oneblock1:inst|dout~1193
B1L66 = dreg[29] $ (B1_ed2[14] & (!B1L65) # !B1_ed2[14] & !B1L64);


--A1L44 is Select~5031
A1L44 = A1L243 & (A1L43 & (B1L66) # !A1L43 & dreg[23]) # !A1L243 & (A1L43);


--A1L366 is dreg[61]~427
A1L366 = initst.01 & (dreg[22]) # !initst.01 & din[61];


--J1L12 is oneblock1:inst|sbox77:box7|sout[2]~528
J1L12 = B1_ed2[36] & (B1_ed2[38] $ B1_ed2[41]) # !B1_ed2[36] & !B1_ed2[41] & (B1_ed2[40] $ B1_ed2[38]);


--J1L13 is oneblock1:inst|sbox77:box7|sout[2]~529
J1L13 = B1_ed2[36] & !B1_ed2[38] & (B1_ed2[40] # B1_ed2[41]) # !B1_ed2[36] & B1_ed2[38] & (!B1_ed2[41] # !B1_ed2[40]);


--J1L14 is oneblock1:inst|sbox77:box7|sout[2]~530
J1L14 = B1_ed2[36] & (B1_ed2[38] & B1_ed2[40] & !B1_ed2[41] # !B1_ed2[38] & (B1_ed2[41])) # !B1_ed2[36] & !B1_ed2[41] & (B1_ed2[40] $ B1_ed2[38]);


--J1L15 is oneblock1:inst|sbo