des.map.eqn

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

A1L327 = initst.01 & (dreg[60]) # !initst.01 & din[48];


--A1L6 is Select~4993
A1L6 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[40] # !initst.10 & (din[8]));


--B1L23 is oneblock1:inst|dout~1150
B1L23 = B1_ed2[5] & (B1_ed2[1] $ (B1_ed2[0] & !B1_ed2[2])) # !B1_ed2[5] & B1_ed2[0] & (!B1_ed2[2] # !B1_ed2[1]);


--B1L24 is oneblock1:inst|dout~1151
B1L24 = B1_ed2[0] & (B1_ed2[2] # B1_ed2[5] $ B1_ed2[1]) # !B1_ed2[0] & (B1_ed2[2] $ (B1_ed2[5] & !B1_ed2[1]));


--B1L25 is oneblock1:inst|dout~1152
B1L25 = B1_ed2[5] & (B1_ed2[1]) # !B1_ed2[5] & (B1_ed2[1] & !B1_ed2[0] & !B1_ed2[2] # !B1_ed2[1] & (B1_ed2[2]));


--B1L26 is oneblock1:inst|dout~1153
B1L26 = B1L23 & B1L24 & (B1_ed2[4] $ B1L25) # !B1L23 & (B1L25 $ (B1_ed2[4] # B1L24));


--B1L27 is oneblock1:inst|dout~1154
B1L27 = B1L23 & (B1_ed2[4] # B1L24 $ !B1L25) # !B1L23 & B1L24 & (B1_ed2[4] $ B1L25);


--B1L28 is oneblock1:inst|dout~1155
B1L28 = dreg[8] $ B1L26 $ (B1_ed2[3] # !B1L27);


--A1L7 is Select~4994
A1L7 = A1L243 & (A1L6 & (B1L28) # !A1L6 & dreg[59]) # !A1L243 & (A1L6);


--A1L301 is dreg[40]~410
A1L301 = initst.01 & (dreg[58]) # !initst.01 & din[40];


--A1L8 is Select~4995
A1L8 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[32] # !initst.10 & (din[0]));


--B1L329 is oneblock1:inst|keyout[54]~4080
B1L329 = kreg[0] & !shvar[1];


--B1L330 is oneblock1:inst|keyout[54]~4081
B1L330 = kreg[2] & !shvar[1];


--B1L163 is oneblock1:inst|keyout[1]~4082
B1L163 = B1L233 & (B1L234 & (B1L330) # !B1L234 & kreg[3]) # !B1L233 & (B1L234);


--B1L164 is oneblock1:inst|keyout[1]~4083
B1L164 = B1L232 & (B1L163 & (kreg[27]) # !B1L163 & kreg[1]) # !B1L232 & (B1L163);


--B1L165 is oneblock1:inst|keyout[1]~4084
B1L165 = shvar[0] & (mode & B1L329 # !mode & (B1L164)) # !shvar[0] & (B1L164);


--B1_ed2[23] is oneblock1:inst|ed2[23]
B1_ed2[23] = dreg[48] $ B1L165;


--B1L331 is oneblock1:inst|keyout[54]~4085
B1L331 = kreg[13] & !shvar[1];


--B1L193 is oneblock1:inst|keyout[12]~4086
B1L193 = B1L233 & (B1L234 & (B1L331) # !B1L234 & kreg[14]) # !B1L233 & (B1L234);


--B1L194 is oneblock1:inst|keyout[12]~4087
B1L194 = B1L232 & (B1L193 & (kreg[10]) # !B1L193 & kreg[12]) # !B1L232 & (B1L193);


--B1L195 is oneblock1:inst|keyout[12]~4088
B1L195 = shvar[0] & (mode & B1L326 # !mode & (B1L194)) # !shvar[0] & (B1L194);


--B1_ed2[22] is oneblock1:inst|ed2[22]
B1_ed2[22] = dreg[47] $ B1L195;


--B1L332 is oneblock1:inst|keyout[54]~4089
B1L332 = kreg[18] & !shvar[1];


--kreg[19] is kreg[19]
kreg[19] = DFFEAS(A1L507, clk, !en,  , A1L244, B1L213,  ,  , initst.10);


--kreg[20] is kreg[20]
kreg[20] = DFFEAS(A1L510, clk, !en,  , A1L244, B1L216,  ,  , initst.10);


--B1L333 is oneblock1:inst|keyout[54]~4090
B1L333 = kreg[20] & !shvar[1];


--B1L211 is oneblock1:inst|keyout[19]~4091
B1L211 = B1L233 & (B1L234 & (B1L333) # !B1L234 & kreg[21]) # !B1L233 & (B1L234);


--B1L212 is oneblock1:inst|keyout[19]~4092
B1L212 = B1L232 & (B1L211 & (kreg[17]) # !B1L211 & kreg[19]) # !B1L232 & (B1L211);


--B1L213 is oneblock1:inst|keyout[19]~4093
B1L213 = shvar[0] & (mode & B1L332 # !mode & (B1L212)) # !shvar[0] & (B1L212);


--B1_ed2[21] is oneblock1:inst|ed2[21]
B1_ed2[21] = dreg[46] $ B1L213;


--B1L334 is oneblock1:inst|keyout[54]~4094
B1L334 = kreg[25] & !shvar[1];


--B1L226 is oneblock1:inst|keyout[26]~4095
B1L226 = B1L234 & (B1L232) # !B1L234 & (B1L232 & kreg[26] # !B1L232 & (B1L309));


--B1L227 is oneblock1:inst|keyout[26]~4096
B1L227 = B1L234 & (B1L226 & (kreg[24]) # !B1L226 & B1L317) # !B1L234 & (B1L226);


--B1L228 is oneblock1:inst|keyout[26]~4097
B1L228 = shvar[0] & (mode & B1L334 # !mode & (B1L227)) # !shvar[0] & (B1L227);


--B1_ed2[20] is oneblock1:inst|ed2[20]
B1_ed2[20] = dreg[45] $ B1L228;


--B1L335 is oneblock1:inst|keyout[54]~4098
B1L335 = kreg[7] & !shvar[1];


--B1L178 is oneblock1:inst|keyout[6]~4099
B1L178 = B1L233 & (B1L234 & (B1L335) # !B1L234 & kreg[8]) # !B1L233 & (B1L234);


--B1L179 is oneblock1:inst|keyout[6]~4100
B1L179 = B1L232 & (B1L178 & (kreg[4]) # !B1L178 & kreg[6]) # !B1L232 & (B1L178);


--B1L180 is oneblock1:inst|keyout[6]~4101
B1L180 = shvar[0] & (mode & B1L322 # !mode & (B1L179)) # !shvar[0] & (B1L179);


--B1_ed2[19] is oneblock1:inst|ed2[19]
B1_ed2[19] = dreg[44] $ B1L180;


--F1L1 is oneblock1:inst|sbox44:box4|reduce_or~122
F1L1 = B1_ed2[19] & (B1_ed2[22] $ B1_ed2[21]) # !B1_ed2[19] & (B1_ed2[20] $ (!B1_ed2[22] & B1_ed2[21]));


--B1L336 is oneblock1:inst|keyout[54]~4102
B1L336 = kreg[16] & !shvar[1];


--B1L202 is oneblock1:inst|keyout[15]~4103
B1L202 = B1L233 & (B1L234 & (B1L336) # !B1L234 & kreg[17]) # !B1L233 & (B1L234);


--B1L203 is oneblock1:inst|keyout[15]~4104
B1L203 = B1L232 & (B1L202 & (kreg[13]) # !B1L202 & kreg[15]) # !B1L232 & (B1L202);


--B1L204 is oneblock1:inst|keyout[15]~4105
B1L204 = shvar[0] & (mode & B1L324 # !mode & (B1L203)) # !shvar[0] & (B1L203);


--F1L2 is oneblock1:inst|sbox44:box4|reduce_or~123
F1L2 = B1_ed2[21] & (B1_ed2[20] & (!B1_ed2[19]) # !B1_ed2[20] & !B1_ed2[22]) # !B1_ed2[21] & (B1_ed2[19] $ (B1_ed2[22] & B1_ed2[20]));


--F1L11 is oneblock1:inst|sbox44:box4|sout[2]~1577
F1L11 = F1L1 & (dreg[43] $ !B1L204 # !F1L2) # !F1L1 & !F1L2 & (dreg[43] $ B1L204);


--F1L3 is oneblock1:inst|sbox44:box4|reduce_or~124
F1L3 = B1_ed2[21] & (B1_ed2[20] & !B1_ed2[22] # !B1_ed2[20] & (B1_ed2[19])) # !B1_ed2[21] & (B1_ed2[22] $ B1_ed2[20] $ B1_ed2[19]);


--F1L4 is oneblock1:inst|sbox44:box4|reduce_or~125
F1L4 = B1_ed2[22] & (B1_ed2[21] $ (!B1_ed2[20] & B1_ed2[19])) # !B1_ed2[22] & (B1_ed2[20] $ (B1_ed2[21] & !B1_ed2[19]));


--F1L12 is oneblock1:inst|sbox44:box4|sout[3]~1578
F1L12 = F1L3 & (F1L4 # dreg[43] $ !B1L204) # !F1L3 & F1L4 & (dreg[43] $ B1L204);


--B1L16 is oneblock1:inst|dout~31
B1L16 = dreg[0] $ (B1_ed2[23] & (!F1L12) # !B1_ed2[23] & !F1L11);


--A1L9 is Select~4996
A1L9 = A1L243 & (A1L8 & (B1L16) # !A1L8 & dreg[57]) # !A1L243 & (A1L8);


--A1L277 is dreg[32]~411
A1L277 = initst.01 & (dreg[56]) # !initst.01 & din[32];


--A1L10 is Select~4997
A1L10 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[57] # !initst.10 & (din[25]));


--F1L5 is oneblock1:inst|sbox44:box4|reduce_or~126
F1L5 = B1_ed2[21] & (B1_ed2[22] $ B1_ed2[20] $ B1_ed2[19]) # !B1_ed2[21] & (B1_ed2[20] & (B1_ed2[19]) # !B1_ed2[20] & B1_ed2[22]);


--F1L6 is oneblock1:inst|sbox44:box4|reduce_or~127
F1L6 = B1_ed2[22] & (B1_ed2[20] $ (!B1_ed2[21] & !B1_ed2[19])) # !B1_ed2[22] & (B1_ed2[21] $ (B1_ed2[20] & B1_ed2[19]));


--F1L9 is oneblock1:inst|sbox44:box4|sout[0]~1579
F1L9 = F1L5 & (dreg[43] $ B1L204 # !F1L6) # !F1L5 & !F1L6 & (dreg[43] $ !B1L204);


--B1_ed2[18] is oneblock1:inst|ed2[18]
B1_ed2[18] = dreg[43] $ B1L204;


--F1L7 is oneblock1:inst|sbox44:box4|reduce_or~128
F1L7 = B1_ed2[21] & (B1_ed2[18] & (B1_ed2[22] # !B1_ed2[19]) # !B1_ed2[18] & (B1_ed2[19])) # !B1_ed2[21] & (B1_ed2[22] $ B1_ed2[18]);


--F1L8 is oneblock1:inst|sbox44:box4|reduce_or~129
F1L8 = B1_ed2[22] & (B1_ed2[21] $ (B1_ed2[19])) # !B1_ed2[22] & (B1_ed2[18] & (B1_ed2[21] # !B1_ed2[19]) # !B1_ed2[18] & (B1_ed2[19]));


--F1L10 is oneblock1:inst|sbox44:box4|sout[1]~1580
F1L10 = F1L7 & (dreg[45] $ B1L228 # !F1L8) # !F1L7 & !F1L8 & (dreg[45] $ !B1L228);


--B1L3 is oneblock1:inst|dout~6
B1L3 = dreg[25] $ (B1_ed2[23] & (F1L10) # !B1_ed2[23] & !F1L9);


--A1L11 is Select~4998
A1L11 = A1L243 & (A1L10 & (B1L3) # !A1L10 & dreg[55]) # !A1L243 & (A1L10);


--A1L354 is dreg[57]~412
A1L354 = initst.01 & (dreg[54]) # !initst.01 & din[57];


--A1L12 is Select~4999
A1L12 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[49] # !initst.10 & (din[17]));


--B1L337 is oneblock1:inst|keyout[54]~4106
B1L337 = kreg[19] & !shvar[1];


--B1L338 is oneblock1:inst|keyout[54]~4107
B1L338 = kreg[21] & !shvar[1];


--B1L214 is oneblock1:inst|keyout[20]~4108
B1L214 = B1L233 & (B1L234 & (B1L338) # !B1L234 & kreg[22]) # !B1L233 & (B1L234);


--B1L215 is oneblock1:inst|keyout[20]~4109
B1L215 = B1L232 & (B1L214 & (kreg[18]) # !B1L214 & kreg[20]) # !B1L232 & (B1L214);


--B1L216 is oneblock1:inst|keyout[20]~4110
B1L216 = shvar[0] & (mode & B1L337 # !mode & (B1L215)) # !shvar[0] & (B1L215);


--B1_ed2[10] is oneblock1:inst|ed2[10]
B1_ed2[10] = dreg[39] $ B1L216;


--B1L339 is oneblock1:inst|keyout[54]~4111
B1L339 = kreg[8] & !shvar[1];


--B1L340 is oneblock1:inst|keyout[54]~4112
B1L340 = kreg[10] & !shvar[1];


--B1L184 is oneblock1:inst|keyout[9]~4113
B1L184 = B1L233 & (B1L234 & (B1L340) # !B1L234 & kreg[11]) # !B1L233 & (B1L234);


--B1L185 is oneblock1:inst|keyout[9]~4114
B1L185 = B1L232 & (B1L184 & (kreg[7]) # !B1L184 & kreg[9]) # !B1L232 & (B1L184);


--B1L186 is oneblock1:inst|keyout[9]~4115
B1L186 = shvar[0] & (mode & B1L339 # !mode & (B1L185)) # !shvar[0] & (B1L185);


--B1_ed2[11] is oneblock1:inst|ed2[11]
B1_ed2[11] = dreg[40] $ B1L186;


--B1L199 is oneblock1:inst|keyout[14]~4116
B1L199 = B1L233 & (B1L234 & (B1L327) # !B1L234 & kreg[16]) # !B1L233 & (B1L234);


--B1L200 is oneblock1:inst|keyout[14]~4117
B1L200 = B1L232 & (B1L199 & (kreg[12]) # !B1L199 & kreg[14]) # !B1L232 & (B1L199);


--B1L201 is oneblock1:inst|keyout[14]~4118
B1L201 = shvar[0] & (mode & B1L331 # !mode & (B1L200)) # !shvar[0] & (B1L200);


--B1_ed2[8] is oneblock1:inst|ed2[8]
B1_ed2[8] = dreg[37] $ B1L201;


--B1L341 is oneblock1:inst|keyout[54]~4119
B1L341 = kreg[26] & !shvar[1];


--B1L342 is oneblock1:inst|keyout[54]~4120
B1L342 = shvar[1] & kreg[1];


--B1L229 is oneblock1:inst|keyout[27]~4121
B1L229 = B1L232 & (B1L234) # !B1L232 & (B1L234 & B1L329 # !B1L234 & (B1L342));


--B1L230 is oneblock1:inst|keyout[27]~4122
B1L230 = B1L232 & (B1L229 & (kreg[25]) # !B1L229 & kreg[27]) # !B1L232 & (B1L229);


--B1L231 is oneblock1:inst|keyout[27]~4123
B1L231 = shvar[0] & (mode & B1L341 # !mode & (B1L230)) # !shvar[0] & (B1L230);


--B1_ed2[7] is oneblock1:inst|ed2[7]
B1_ed2[7] = dreg[36] $ B1L231;


--D1L6 is oneblock1:inst|sbox22:box2|sout[3]~669
D1L6 = B1_ed2[10] & B1_ed2[8] & (B1_ed2[11] # B1_ed2[7]) # !B1_ed2[10] & (B1_ed2[11] & (!B1_ed2[7] # !B1_ed2[8]) # !B1_ed2[11] & (B1_ed2[7]));


--B1L166 is oneblock1:inst|keyout[2]~4124
B1L166 = B1L233 & (B1L234 & (B1L321) # !B1L234 & kreg[4]) # !B1L233 & (B1L234);


--B1L167 is oneblock1:inst|keyout[2]~4125
B1L167 = B1L232 & (B1L166 & (kreg[0]) # !B1L166 & kreg[2]) # !B1L232 & (B1L166);


--B1L168 is oneblock1:inst|keyout[2]~4126
B1L168 = shvar[0] & (mode & B1L318 # !mode & (B1L167)) # !shvar[0] & (B1L167);


--B1_ed2[6] is oneblock1:inst|ed2[6]
B1_ed2[6] = dreg[35] $ B1L168;


--D1L7 is oneblock1:inst|sbox22:box2|sout[3]~670
D1L7 = B1_ed2[11] & (B1_ed2[7] $ (B1_ed2[10] & !B1_ed2[8])) # !B1_ed2[11] & (B1_ed2[10] & !B1_ed2[8] & B1_ed2[7] # !B1_ed2[10] & B1_ed2[8]);


--B1L343 is oneblock1:inst|keyout[54]~4127
B1L343 = kreg[4] & !shvar[1];


--B1L344 is oneblock1:inst|keyout[54]~4128
B1L344 = kreg[6] & !shvar[1];


--B1L175 is oneblock1:inst|keyout[5]~4129
B1L175 = B1L233 & (B1L234 & (B1L344) # !B1L234 & kreg[7]) # !B1L233 & (B1L234);


--B1L176 is oneblock1:inst|keyout[5]~4130
B1L176 = B1L232 & (B1L175 & (kreg[3]) # !B1L175 & kreg[5]) # !B1L232 & (B1L175);


--B1L177 is oneblock1:inst|keyout[5]~4131
B1L177 = shvar[0] & (mode & B1L343 # !mode & (B1L176)) # !shvar[0] & (B1L176);


--B1_ed2[9] is oneblock1:inst|ed2[9]
B1_ed2[9] = dreg[38] $ B1L177;


--D1L8 is oneblock1:inst|sbox22:box2|sout[3]~671
D1L8 = B1_ed2[11] & (B1_ed2[7] $ (B1_ed2[10] & B1_ed2[8])) # !B1_ed2[11] & B1_ed2[8] & (B1_ed2[7] # !B1_ed2[10]);


--D1L9 is oneblock1:inst|sbox22:box2|sout[3]~672
D1L9 = B1_ed2[6] & (B1_ed2[9]) # !B1_ed2[6] & (B1_ed2[9] & D1L7 # !B1_ed2[9] & (!D1L8));


--D1L10 is oneblock1:inst|sbox22:box2|sout[3]~673
D1L10 = B1_ed2[8] & (B1_ed2[7] & !B1_ed2[10] # !B1_ed2[7] & (B1_ed2[11])) # !B1_ed2[8] & (B1_ed2[7] $ (!B1_ed2[10] & B1_ed2[11]));


--D1L11 is oneblock1:inst|sbox22:box2|sout[3]~674
D1L11 = B1_ed2[6] & (D1L9 & (!D1L10) # !D1L9 & D1L6) # !B1_ed2[6] & (D1L9);


--B1L8 is oneblock1:inst|dout~14
B1L8 = dreg[17] $ D1L11;


--A1L13 is Select~5000
A1L13 = A1L243 & (A1L12 & (B1L8) # !A1L12 & dreg[53]) # !A1L243 & (A1L12);


--A1L330 is dreg[49]~413
A1L330 = initst.01 & (dreg[52]) # !initst.01 & din[49];


--A1L14 is Select~5001
A1L14 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[41] # !initst.10 & (din[9]));


--B1L12 is oneblock1:inst|dout~22
B1L12 = dreg[9] $ (B1_ed2[23] & (F1L11) # !B1_ed2[23] & !F1L12);


--A1L15 is Select~5002
A1L15 = A1L243 & (A1L14 & (B1L12) # !A1L14 & dreg[51]) # !A1L243 & (A1L14);


--A1L304 is dreg[41]~414
A1L304 = initst.01 & (dreg[50]) # !initst.01 & din[41];


--A1L16 is Select~5003
A1L16 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[33] # !initst.10 & (din[1]));


--B1L29 is oneblock1:inst|dout~1156
B1L29 = B1_ed2[8] & !B1_ed2[10] & B1_ed2[9] & B1_ed2[6] # !B1_ed2[8] & (B1_ed2[10] $ B1_ed2[9] $ B1_ed2[6]);


--B1L30 is oneblock1:inst|dout~1157
B1L30 = B1_ed2[10] & (B1_ed2[6] & (B1_ed2[8]) # !B1_ed2[6] & B1_ed2[9]) # !B1_ed2[10] & (B1_ed2[6] $ (!B1_ed2[9] & B1_ed2[8]));


--B1L31 is oneblock1:inst|dout~1158
B1L31 = B1_ed2[10] & (B1_ed2[6] # B1_ed2[9] & B1_ed2[8]) # !B1_ed2[10] & B1_ed2[9] & (B1_ed2[8]);


--B1L32 is oneblock1:inst|dout~1159
B1L32 = B1_ed2[11] & (B1L30 $ (!B1L29 & B1L31)) # !B1_ed2[11] & (B1L30 & (B1L31) # !B1L30 & B1L29);


--B1L33 is oneblock1:inst|dout~1160
B1L33 = B1L29 & (B1L30 $ (B1_ed2[11] # B1L31)) # !B1L29 & B1_ed2[11] & B1L30 & !B1L31;


--B1L34 is oneblock1:inst|dout~1161
B1L34 = dreg[1] $ B1L32 $ (!B1_ed2[7] & !B1L33);