des.fit.eqn

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

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


--F1L8 is oneblock1:inst|sbox44:box4|reduce_or~129 at LCCOMB_X26_Y15_N4
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 at LCCOMB_X27_Y18_N30
F1L10 = F1L7 & (B1L228 $ dreg[45] # !F1L8) # !F1L7 & !F1L8 & (B1L228 $ !dreg[45]);


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


--D1L9 is oneblock1:inst|sbox22:box2|sout[3]~672 at LCCOMB_X23_Y16_N20
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 at LCCOMB_X23_Y16_N28
D1L10 = B1_ed2[8] & (B1_ed2[7] & (!B1_ed2[10]) # !B1_ed2[7] & B1_ed2[11]) # !B1_ed2[8] & (B1_ed2[7] $ (B1_ed2[11] & !B1_ed2[10]));


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


--kreg[33] is kreg[33] at LCFF_X26_Y16_N1
kreg[33] = DFFEAS(A1L554, GLOBAL(A1L88), !GLOBAL(A1L376),  , A1L245, B1L252,  ,  , initst.10);


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


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


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


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


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


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


--kreg[43] is kreg[43] at LCFF_X29_Y15_N25
kreg[43] = DFFEAS(A1L584, GLOBAL(A1L88), !GLOBAL(A1L376),  , A1L245, B1L273,  ,  , initst.10);


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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