des.map.eqn

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

--B1L258 is oneblock1:inst|keyout[36]~4033
B1L258 = shvar[0] & (mode & B1L305 # !mode & (B1L257)) # !shvar[0] & (B1L257);


--B1_ed2[27] is oneblock1:inst|ed2[27]
B1_ed2[27] = dreg[50] $ B1L258;


--kreg[53] is kreg[53]
kreg[53] = DFFEAS(A1L611, clk, !en,  , A1L516, A1L74,  , A1L515, initst.10);


--B1L307 is oneblock1:inst|keyout[54]~4034
B1L307 = kreg[53] & !shvar[1];


--B1L308 is oneblock1:inst|keyout[54]~4035
B1L308 = kreg[55] & !shvar[1];


--kreg[54] is kreg[54]
kreg[54] = DFFEAS(A1L614, clk, !en,  , A1L244, B1L312,  ,  , initst.10);


--kreg[0] is kreg[0]
kreg[0] = DFFEAS(A1L450, clk, !en,  , A1L244, B1L162,  ,  , initst.10);


--B1L309 is oneblock1:inst|keyout[54]~4036
B1L309 = shvar[1] & kreg[0];


--B1L310 is oneblock1:inst|keyout[54]~4037
B1L310 = B1L234 & (B1L232) # !B1L234 & (B1L232 & kreg[54] # !B1L232 & (B1L309));


--kreg[52] is kreg[52]
kreg[52] = DFFEAS(A1L608, clk, !en,  , A1L244, B1L300,  ,  , initst.10);


--B1L311 is oneblock1:inst|keyout[54]~4038
B1L311 = B1L234 & (B1L310 & (kreg[52]) # !B1L310 & B1L308) # !B1L234 & (B1L310);


--B1L312 is oneblock1:inst|keyout[54]~4039
B1L312 = shvar[0] & (mode & B1L307 # !mode & (B1L311)) # !shvar[0] & (B1L311);


--B1_ed2[29] is oneblock1:inst|ed2[29]
B1_ed2[29] = dreg[52] $ B1L312;


--kreg[50] is kreg[50]
kreg[50] = DFFEAS(A1L602, clk, !en,  , A1L244, B1L294,  ,  , initst.10);


--B1L313 is oneblock1:inst|keyout[54]~4040
B1L313 = kreg[50] & !shvar[1];


--kreg[51] is kreg[51]
kreg[51] = DFFEAS(A1L605, clk, !en,  , A1L244, B1L297,  ,  , initst.10);


--kreg[49] is kreg[49]
kreg[49] = DFFEAS(A1L599, clk, !en,  , A1L244, B1L291,  ,  , initst.10);


--B1L314 is oneblock1:inst|keyout[54]~4041
B1L314 = kreg[52] & !shvar[1];


--B1L295 is oneblock1:inst|keyout[51]~4042
B1L295 = B1L233 & (B1L234 & (B1L314) # !B1L234 & kreg[53]) # !B1L233 & (B1L234);


--B1L296 is oneblock1:inst|keyout[51]~4043
B1L296 = B1L232 & (B1L295 & (kreg[49]) # !B1L295 & kreg[51]) # !B1L232 & (B1L295);


--B1L297 is oneblock1:inst|keyout[51]~4044
B1L297 = shvar[0] & (mode & B1L313 # !mode & (B1L296)) # !shvar[0] & (B1L296);


--B1_ed2[25] is oneblock1:inst|ed2[25]
B1_ed2[25] = dreg[48] $ B1L297;


--kreg[29] is kreg[29]
kreg[29] = DFFEAS(A1L539, clk, !en,  , A1L244, B1L240,  ,  , initst.10);


--B1L315 is oneblock1:inst|keyout[54]~4045
B1L315 = kreg[29] & !shvar[1];


--kreg[30] is kreg[30]
kreg[30] = DFFEAS(A1L542, clk, !en,  , A1L244, B1L243,  ,  , initst.10);


--kreg[28] is kreg[28]
kreg[28] = DFFEAS(A1L536, clk, !en,  , A1L244, B1L237,  ,  , initst.10);


--kreg[32] is kreg[32]
kreg[32] = DFFEAS(A1L548, clk, !en,  , A1L244, B1L249,  ,  , initst.10);


--B1L316 is oneblock1:inst|keyout[54]~4046
B1L316 = kreg[31] & !shvar[1];


--B1L241 is oneblock1:inst|keyout[30]~4047
B1L241 = B1L233 & (B1L234 & (B1L316) # !B1L234 & kreg[32]) # !B1L233 & (B1L234);


--B1L242 is oneblock1:inst|keyout[30]~4048
B1L242 = B1L232 & (B1L241 & (kreg[28]) # !B1L241 & kreg[30]) # !B1L232 & (B1L241);


--B1L243 is oneblock1:inst|keyout[30]~4049
B1L243 = shvar[0] & (mode & B1L315 # !mode & (B1L242)) # !shvar[0] & (B1L242);


--B1_ed2[26] is oneblock1:inst|ed2[26]
B1_ed2[26] = dreg[49] $ B1L243;


--B1L17 is oneblock1:inst|dout~1144
B1L17 = B1_ed2[27] & !B1_ed2[25] & (B1_ed2[29] $ !B1_ed2[26]) # !B1_ed2[27] & (B1_ed2[25]);


--B1L18 is oneblock1:inst|dout~1145
B1L18 = B1_ed2[26] & (B1_ed2[29] # !B1_ed2[25]) # !B1_ed2[26] & !B1_ed2[27] & (B1_ed2[29] $ B1_ed2[25]);


--B1L19 is oneblock1:inst|dout~1146
B1L19 = B1_ed2[29] & (B1_ed2[25] # !B1_ed2[27] & B1_ed2[26]) # !B1_ed2[29] & B1_ed2[25] & (B1_ed2[27] $ B1_ed2[26]);


--B1L20 is oneblock1:inst|dout~1147
B1L20 = B1L19 & (B1L17 $ (B1_ed2[28] & B1L18)) # !B1L19 & (B1_ed2[28] $ (B1L18));


--B1L21 is oneblock1:inst|dout~1148
B1L21 = B1_ed2[28] & B1L18 & (B1L17 # B1L19) # !B1_ed2[28] & (B1L18 $ (B1L17 & !B1L19));


--B1L22 is oneblock1:inst|dout~1149
B1L22 = dreg[24] $ B1L20 $ (!B1_ed2[24] & !B1L21);


--A1L3 is Select~4990
A1L3 = A1L243 & (A1L2 & (B1L22) # !A1L2 & dreg[63]) # !A1L243 & (A1L2);


--cnt[4] is cnt[4]
cnt[4] = DFFEAS(A1L102, clk, !en,  , A1L86,  ,  ,  ,  );


--cnt[0] is cnt[0]
cnt[0] = DFFEAS(A1L90, clk, !en,  , A1L86,  ,  ,  ,  );


--cnt[1] is cnt[1]
cnt[1] = DFFEAS(A1L93, clk, !en,  , A1L86,  ,  ,  ,  );


--cnt[2] is cnt[2]
cnt[2] = DFFEAS(A1L96, clk, !en,  , A1L86,  ,  ,  ,  );


--cnt[3] is cnt[3]
cnt[3] = DFFEAS(A1L99, clk, !en,  , A1L86,  ,  ,  ,  );


--A1L376 is flag~44
A1L376 = !cnt[1] & !cnt[2] & !cnt[3];


--A1L244 is dreg[3]~1126
A1L244 = cnt[4] $ (cnt[0] # !A1L376) # !initst.10;


--A1L351 is dreg[56]~408
A1L351 = initst.01 & (dreg[62]) # !initst.01 & din[56];


--A1L85 is always0~42
A1L85 = cnt[4] $ (cnt[0] # !A1L376);


--A1L325 is dreg[47]~1127
A1L325 = !shvar[2] & A1L85 # !initst.10;


--A1L4 is Select~4991
A1L4 = A1L243 & (initst.10) # !A1L243 & (initst.10 & dreg[48] # !initst.10 & (din[16]));


--kreg[27] is kreg[27]
kreg[27] = DFFEAS(A1L533, clk, !en,  , A1L244, B1L231,  ,  , initst.10);


--B1L317 is oneblock1:inst|keyout[54]~4050
B1L317 = kreg[27] & !shvar[1];


--kreg[26] is kreg[26]
kreg[26] = DFFEAS(A1L530, clk, !en,  , A1L244, B1L228,  ,  , initst.10);


--kreg[2] is kreg[2]
kreg[2] = DFFEAS(A1L456, clk, !en,  , A1L244, B1L168,  ,  , initst.10);


--kreg[1] is kreg[1]
kreg[1] = DFFEAS(A1L453, clk, !en,  , A1L244, B1L165,  ,  , initst.10);


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


--B1L160 is oneblock1:inst|keyout[0]~4052
B1L160 = B1L233 & (B1L234 & (B1L318) # !B1L234 & kreg[2]) # !B1L233 & (B1L234);


--B1L161 is oneblock1:inst|keyout[0]~4053
B1L161 = B1L232 & (B1L160 & (kreg[26]) # !B1L160 & kreg[0]) # !B1L232 & (B1L160);


--B1L162 is oneblock1:inst|keyout[0]~4054
B1L162 = shvar[0] & (mode & B1L317 # !mode & (B1L161)) # !shvar[0] & (B1L161);


--B1_ed2[4] is oneblock1:inst|ed2[4]
B1_ed2[4] = dreg[35] $ B1L162;


--kreg[22] is kreg[22]
kreg[22] = DFFEAS(A1L518, clk, !en,  , A1L244, B1L219,  ,  , initst.10);


--B1L319 is oneblock1:inst|keyout[54]~4055
B1L319 = kreg[22] & !shvar[1];


--kreg[21] is kreg[21]
kreg[21] = DFFEAS(A1L513, clk, !en,  , A1L516, A1L76,  , A1L515, initst.10);


--kreg[25] is kreg[25]
kreg[25] = DFFEAS(A1L527, clk, !en,  , A1L244, B1L225,  ,  , initst.10);


--kreg[24] is kreg[24]
kreg[24] = DFFEAS(A1L524, clk, !en,  , A1L516, A1L78,  , A1L515, initst.10);


--B1L320 is oneblock1:inst|keyout[54]~4056
B1L320 = kreg[24] & !shvar[1];


--B1L220 is oneblock1:inst|keyout[23]~4057
B1L220 = B1L233 & (B1L234 & (B1L320) # !B1L234 & kreg[25]) # !B1L233 & (B1L234);


--B1L221 is oneblock1:inst|keyout[23]~4058
B1L221 = B1L232 & (B1L220 & (kreg[21]) # !B1L220 & kreg[23]) # !B1L232 & (B1L220);


--B1L222 is oneblock1:inst|keyout[23]~4059
B1L222 = shvar[0] & (mode & B1L319 # !mode & (B1L221)) # !shvar[0] & (B1L221);


--B1_ed2[3] is oneblock1:inst|ed2[3]
B1_ed2[3] = dreg[34] $ B1L222;


--kreg[3] is kreg[3]
kreg[3] = DFFEAS(A1L459, clk, !en,  , A1L244, B1L171,  ,  , initst.10);


--B1L321 is oneblock1:inst|keyout[54]~4060
B1L321 = kreg[3] & !shvar[1];


--kreg[4] is kreg[4]
kreg[4] = DFFEAS(A1L462, clk, !en,  , A1L244, B1L174,  ,  , initst.10);


--kreg[6] is kreg[6]
kreg[6] = DFFEAS(A1L468, clk, !en,  , A1L244, B1L180,  ,  , initst.10);


--kreg[5] is kreg[5]
kreg[5] = DFFEAS(A1L465, clk, !en,  , A1L244, B1L177,  ,  , initst.10);


--B1L322 is oneblock1:inst|keyout[54]~4061
B1L322 = kreg[5] & !shvar[1];


--B1L172 is oneblock1:inst|keyout[4]~4062
B1L172 = B1L233 & (B1L234 & (B1L322) # !B1L234 & kreg[6]) # !B1L233 & (B1L234);


--B1L173 is oneblock1:inst|keyout[4]~4063
B1L173 = B1L232 & (B1L172 & (kreg[2]) # !B1L172 & kreg[4]) # !B1L232 & (B1L172);


--B1L174 is oneblock1:inst|keyout[4]~4064
B1L174 = shvar[0] & (mode & B1L321 # !mode & (B1L173)) # !shvar[0] & (B1L173);


--B1_ed2[5] is oneblock1:inst|ed2[5]
B1_ed2[5] = dreg[36] $ B1L174;


--kreg[12] is kreg[12]
kreg[12] = DFFEAS(A1L486, clk, !en,  , A1L244, B1L195,  ,  , initst.10);


--B1L323 is oneblock1:inst|keyout[54]~4065
B1L323 = kreg[12] & !shvar[1];


--kreg[13] is kreg[13]
kreg[13] = DFFEAS(A1L489, clk, !en,  , A1L244, B1L198,  ,  , initst.10);


--kreg[11] is kreg[11]
kreg[11] = DFFEAS(A1L483, clk, !en,  , A1L244, B1L192,  ,  , initst.10);


--kreg[14] is kreg[14]
kreg[14] = DFFEAS(A1L492, clk, !en,  , A1L244, B1L201,  ,  , initst.10);


--B1L324 is oneblock1:inst|keyout[54]~4066
B1L324 = kreg[14] & !shvar[1];


--B1L196 is oneblock1:inst|keyout[13]~4067
B1L196 = B1L233 & (B1L234 & (B1L324) # !B1L234 & kreg[15]) # !B1L233 & (B1L234);


--B1L197 is oneblock1:inst|keyout[13]~4068
B1L197 = B1L232 & (B1L196 & (kreg[11]) # !B1L196 & kreg[13]) # !B1L232 & (B1L196);


--B1L198 is oneblock1:inst|keyout[13]~4069
B1L198 = shvar[0] & (mode & B1L323 # !mode & (B1L197)) # !shvar[0] & (B1L197);


--B1_ed2[0] is oneblock1:inst|ed2[0]
B1_ed2[0] = dreg[63] $ B1L198;


--C1L1 is oneblock1:inst|sbox11:box1|sout[1]~368
C1L1 = B1_ed2[5] & (B1_ed2[4] $ (!B1_ed2[0] # !B1_ed2[3])) # !B1_ed2[5] & !B1_ed2[3] & (B1_ed2[4] # B1_ed2[0]);


--kreg[9] is kreg[9]
kreg[9] = DFFEAS(A1L477, clk, !en,  , A1L244, B1L186,  ,  , initst.10);


--B1L325 is oneblock1:inst|keyout[54]~4070
B1L325 = kreg[9] & !shvar[1];


--kreg[10] is kreg[10]
kreg[10] = DFFEAS(A1L480, clk, !en,  , A1L244, B1L189,  ,  , initst.10);


--kreg[8] is kreg[8]
kreg[8] = DFFEAS(A1L474, clk, !en,  , A1L516, A1L80,  , A1L515, initst.10);


--B1L326 is oneblock1:inst|keyout[54]~4071
B1L326 = kreg[11] & !shvar[1];


--B1L187 is oneblock1:inst|keyout[10]~4072
B1L187 = B1L233 & (B1L234 & (B1L326) # !B1L234 & kreg[12]) # !B1L233 & (B1L234);


--B1L188 is oneblock1:inst|keyout[10]~4073
B1L188 = B1L232 & (B1L187 & (kreg[8]) # !B1L187 & kreg[10]) # !B1L232 & (B1L187);


--B1L189 is oneblock1:inst|keyout[10]~4074
B1L189 = shvar[0] & (mode & B1L325 # !mode & (B1L188)) # !shvar[0] & (B1L188);


--B1_ed2[2] is oneblock1:inst|ed2[2]
B1_ed2[2] = dreg[33] $ B1L189;


--C1L2 is oneblock1:inst|sbox11:box1|sout[1]~369
C1L2 = B1_ed2[4] & (B1_ed2[3] & (B1_ed2[0] # !B1_ed2[5]) # !B1_ed2[3] & (B1_ed2[5] $ B1_ed2[0])) # !B1_ed2[4] & (B1_ed2[3] $ (B1_ed2[0]));


--B1L327 is oneblock1:inst|keyout[54]~4075
B1L327 = kreg[15] & !shvar[1];


--kreg[16] is kreg[16]
kreg[16] = DFFEAS(A1L498, clk, !en,  , A1L244, B1L207,  ,  , initst.10);


--kreg[18] is kreg[18]
kreg[18] = DFFEAS(A1L504, clk, !en,  , A1L244, B1L210,  ,  , initst.10);


--kreg[17] is kreg[17]
kreg[17] = DFFEAS(A1L501, clk, !en,  , A1L516, A1L82,  , A1L515, initst.10);


--B1L328 is oneblock1:inst|keyout[54]~4076
B1L328 = kreg[17] & !shvar[1];


--B1L205 is oneblock1:inst|keyout[16]~4077
B1L205 = B1L233 & (B1L234 & (B1L328) # !B1L234 & kreg[18]) # !B1L233 & (B1L234);


--B1L206 is oneblock1:inst|keyout[16]~4078
B1L206 = B1L232 & (B1L205 & (kreg[14]) # !B1L205 & kreg[16]) # !B1L232 & (B1L205);


--B1L207 is oneblock1:inst|keyout[16]~4079
B1L207 = shvar[0] & (mode & B1L327 # !mode & (B1L206)) # !shvar[0] & (B1L206);


--B1_ed2[1] is oneblock1:inst|ed2[1]
B1_ed2[1] = dreg[32] $ B1L207;


--C1L3 is oneblock1:inst|sbox11:box1|sout[1]~370
C1L3 = B1_ed2[5] & (B1_ed2[3] & (B1_ed2[0]) # !B1_ed2[3] & !B1_ed2[4] & !B1_ed2[0]) # !B1_ed2[5] & B1_ed2[4] & (B1_ed2[3] # B1_ed2[0]);


--C1L4 is oneblock1:inst|sbox11:box1|sout[1]~371
C1L4 = B1_ed2[2] & (B1_ed2[1]) # !B1_ed2[2] & (B1_ed2[1] & C1L2 # !B1_ed2[1] & (!C1L3));


--C1L5 is oneblock1:inst|sbox11:box1|sout[1]~372
C1L5 = B1_ed2[3] & (B1_ed2[0] $ (B1_ed2[5] # !B1_ed2[4])) # !B1_ed2[3] & (B1_ed2[0] # B1_ed2[4] $ B1_ed2[5]);


--C1L6 is oneblock1:inst|sbox11:box1|sout[1]~373
C1L6 = B1_ed2[2] & (C1L4 & (!C1L5) # !C1L4 & C1L1) # !B1_ed2[2] & (C1L4);


--B1L9 is oneblock1:inst|dout~15
B1L9 = dreg[16] $ C1L6;


--A1L5 is Select~4992
A1L5 = A1L243 & (A1L4 & (B1L9) # !A1L4 & dreg[61]) # !A1L243 & (A1L4);


--A1L327 is dreg[48]~409