watchgai.map.eqn

利用FPGA的V4开发板制作的电子表

C1L150 = C1_count[2] & (C1_count[0] # C1_count[1]);


--C1L289 is watchgai:inst6|Mux~3958
C1L289 = C1_count[0] & (C1L150 & (C1L288) # !C1L150 & C1L373) # !C1_count[0] & (!C1L150);


--C1L290 is watchgai:inst6|Mux~3959
C1L290 = C1L286 & (C1L289 & C1_p4[4] # !C1L289 & (C1L419)) # !C1L286 & (C1L289);


--C1L151 is watchgai:inst6|bwm[4]~238
C1L151 = C1_count[0] & C1_count[1] & !C1_count[2];


--C1L291 is watchgai:inst6|Mux~3960
C1L291 = !C1L143 & (C1L151 & C1L285 # !C1L151 & (C1L290));


--C1L292 is watchgai:inst6|Mux~3961
C1L292 = C1_miao[0] & (!C1L287 # !C1_miao[5] # !C1_miao[3]);


--C1L355 is watchgai:inst6|p1[4]~1103
C1L355 = C1_miao[5] & (C1_miao[1] & !C1_miao[2] & !C1_miao[3] # !C1_miao[1] & C1_miao[2] & C1_miao[3]) # !C1_miao[5] & C1_miao[2] & (C1_miao[1] $ !C1_miao[3]);


--C1L356 is watchgai:inst6|p1[4]~1104
C1L356 = C1_miao[5] & C1_miao[1] & C1_miao[2] & !C1_miao[3] # !C1_miao[5] & !C1_miao[1] & !C1_miao[2] & C1_miao[3];


--C1L293 is watchgai:inst6|Mux~3962
C1L293 = C1_miao[4] & (C1L356 & !C1_miao[0]) # !C1_miao[4] & C1L355;


--C1L294 is watchgai:inst6|Mux~3963
C1L294 = C1L291 # C1L143 & (C1L292 # C1L293);


--C1L386 is watchgai:inst6|p3[3]~1135
C1L386 = C1_fen[1] & (C1_fen[3] $ (C1_fen[4] # !C1_fen[2])) # !C1_fen[1] & (C1_fen[3] # !C1_fen[4] & C1_fen[2]);


--C1L387 is watchgai:inst6|p3[3]~1136
C1L387 = C1_fen[1] & !C1_fen[3] & (C1_fen[4] $ !C1_fen[2]) # !C1_fen[1] & !C1_fen[4] & C1_fen[2] & C1_fen[3];


--C1L388 is watchgai:inst6|p3[3]~1137
C1L388 = C1_fen[4] & !C1_fen[1] & !C1_fen[2] # !C1_fen[4] & C1_fen[2] & (C1_fen[1] $ !C1_fen[3]);


--C1L389 is watchgai:inst6|p3[3]~1138
C1L389 = C1_fen[0] & (C1_fen[5]) # !C1_fen[0] & (C1_fen[5] & C1L387 # !C1_fen[5] & (C1L388));


--C1L390 is watchgai:inst6|p3[3]~1139
C1L390 = C1_fen[2] & !C1_fen[4] & (C1_fen[1] $ !C1_fen[3]) # !C1_fen[2] & (C1_fen[1] & C1_fen[4] & !C1_fen[3] # !C1_fen[1] & (C1_fen[3]));


--C1L391 is watchgai:inst6|p3[3]~1140
C1L391 = C1_fen[0] & (C1L389 & (C1L390) # !C1L389 & !C1L386) # !C1_fen[0] & (C1L389);


--C1L428 is watchgai:inst6|p6[6]~95
C1L428 = C1_shi[4] & !C1_shi[5] & !C1_shi[3];


--C1L414 is watchgai:inst6|p5[3]~1124
C1L414 = C1_shi[0] & C1L428 & !C1_shi[1];


--C1L415 is watchgai:inst6|p5[3]~1125
C1L415 = C1_shi[0] & (C1_shi[1] & (C1_shi[2] $ C1_shi[3]) # !C1_shi[1] & !C1_shi[2] & !C1_shi[3]) # !C1_shi[0] & C1_shi[2] & (C1_shi[1] $ !C1_shi[3]);


--C1L416 is watchgai:inst6|p5[3]~1126
C1L416 = !C1_shi[5] & !C1_shi[4];


--C1L295 is watchgai:inst6|Mux~3964
C1L295 = C1_miao[1] & (C1_miao[5] # !C1_miao[4]) # !C1_miao[1] & C1_miao[5] & !C1_miao[4];


--C1L296 is watchgai:inst6|Mux~3965
C1L296 = C1_miao[3] & !C1_miao[4] & (C1_miao[2] # C1L295) # !C1_miao[3] & !C1_miao[2] & C1_miao[4] & !C1L295;


--C1L297 is watchgai:inst6|Mux~3966
C1L297 = C1_count[0] & (C1L150 & C1L288 # !C1L150 & (C1L296)) # !C1_count[0] & (!C1L150);


--C1L298 is watchgai:inst6|Mux~3967
C1L298 = C1L286 & (C1L297 & C1_p4[3] # !C1L297 & (C1L417)) # !C1L286 & (C1L297);


--C1L299 is watchgai:inst6|Mux~3968
C1L299 = !C1L143 & (C1L151 & C1L391 # !C1L151 & (C1L298));


--C1L352 is watchgai:inst6|p1[3]~1105
C1L352 = C1_miao[0] & (C1_miao[4]) # !C1_miao[0] & (C1_miao[4] & C1L356 # !C1_miao[4] & (C1L355));


--C1L353 is watchgai:inst6|p1[3]~1106
C1L353 = C1_miao[5] & (C1_miao[2] # C1_miao[1] $ !C1_miao[3]) # !C1_miao[5] & (C1_miao[1] $ (C1_miao[3]));


--C1L354 is watchgai:inst6|p1[3]~1107
C1L354 = C1_miao[0] & (C1L352 & (!C1L353) # !C1L352 & !C1L363) # !C1_miao[0] & (C1L352);


--C1L300 is watchgai:inst6|Mux~3969
C1L300 = C1L299 # C1L143 & C1L354;


--C1L413 is watchgai:inst6|p5[2]~1127
C1L413 = C1_shi[1] & !C1_shi[3] & (C1_shi[4] $ !C1_shi[2]) # !C1_shi[1] & !C1_shi[4] & C1_shi[2] & C1_shi[3];


--C1L301 is watchgai:inst6|Mux~3970
C1L301 = C1L413 & !C1_shi[5] & !C1_shi[0] # !C1_count[2];


--C1L383 is watchgai:inst6|p3[2]~1141
C1L383 = C1_fen[2] & !C1_fen[3] & (C1_fen[5] $ C1_fen[1]);


--C1L384 is watchgai:inst6|p3[2]~1142
C1L384 = C1_fen[5] & !C1_fen[2] & (C1_fen[1] $ !C1_fen[3]) # !C1_fen[5] & (C1_fen[1] & !C1_fen[2] & !C1_fen[3] # !C1_fen[1] & C1_fen[2] & C1_fen[3]);


--C1L385 is watchgai:inst6|p3[2]~1143
C1L385 = !C1_fen[0] & (C1_fen[4] & C1L383 # !C1_fen[4] & (C1L384));


--C1L370 is watchgai:inst6|p2[2]~282
C1L370 = C1_miao[4] & (C1_miao[2] & (!C1_miao[3] # !C1_miao[1]) # !C1_miao[2] & (C1_miao[3]));


--C1L371 is watchgai:inst6|p2[2]~283
C1L371 = C1L370 & !C1_miao[5];


--C1L302 is watchgai:inst6|Mux~3971
C1L302 = C1L145 & (C1L146 & C1L371 # !C1L146 & (C1_p4[2])) # !C1L145 & (C1L146);


--C1L303 is watchgai:inst6|Mux~3972
C1L303 = C1L144 & (C1L302 & C1L427 # !C1L302 & (C1L385)) # !C1L144 & (C1L302);


--C1L304 is watchgai:inst6|Mux~3973
C1L304 = !C1L143 & (C1L147 & C1L301 # !C1L147 & (C1L303));


--C1L305 is watchgai:inst6|Mux~3974
C1L305 = C1_miao[4] & C1L358 # !C1_miao[4] & (C1L359);


--C1L306 is watchgai:inst6|Mux~3975
C1L306 = C1L304 # C1L143 & C1L305 & !C1_miao[0];


--C1L307 is watchgai:inst6|Mux~3976
C1L307 = C1_count[1] & !C1_count[3];


--C1L228 is watchgai:inst6|Equal~672
C1L228 = C1_shi[4] & !C1_shi[0] & !C1_shi[1] & !C1_shi[2];


--C1L308 is watchgai:inst6|Mux~3977
C1L308 = !C1_shi[4] & (C1_shi[0] & (C1_shi[1] $ !C1_shi[3]) # !C1_shi[0] & C1_shi[1] & !C1_shi[3]);


--C1L309 is watchgai:inst6|Mux~3978
C1L309 = C1_shi[2] & (C1L308 # C1L228 & !C1_shi[3]) # !C1_shi[2] & C1L228 & !C1_shi[3];


--C1L310 is watchgai:inst6|Mux~3979
C1L310 = !C1_count[0] & !C1_shi[5] & C1L309;


--C1L229 is watchgai:inst6|Equal~673
C1L229 = C1_fen[5] & C1_fen[1] & C1_fen[0];


--C1L311 is watchgai:inst6|Mux~3980
C1L311 = C1L229 & !C1_fen[3] & (C1_fen[2] $ !C1_fen[4]);


--C1L381 is watchgai:inst6|p3[1]~1144
C1L381 = C1_fen[0] & (C1_fen[1] & !C1_fen[5] & C1_fen[3] # !C1_fen[1] & (C1_fen[5] $ !C1_fen[3])) # !C1_fen[0] & (C1_fen[1] & (C1_fen[5] $ !C1_fen[3]) # !C1_fen[1] & C1_fen[5] & !C1_fen[3]);


--C1L312 is watchgai:inst6|Mux~3981
C1L312 = C1_fen[2] & C1L381 & !C1_fen[4] # !C1_count[0];


--C1L382 is watchgai:inst6|p3[1]~1145
C1L382 = C1_fen[3] & (C1_fen[0] & !C1_fen[1] & !C1_fen[5] # !C1_fen[0] & (C1_fen[1] $ C1_fen[5]));


--C1L230 is watchgai:inst6|Equal~674
C1L230 = C1_fen[4] & !C1_fen[2];


--C1L313 is watchgai:inst6|Mux~3982
C1L313 = C1L311 # C1L312 # C1L382 & C1L230;


--C1L314 is watchgai:inst6|Mux~3983
C1L314 = C1L307 & (C1L310 # C1L313 & !C1_count[2]);


--C1L315 is watchgai:inst6|Mux~3984
C1L315 = !C1_count[0] & !C1_count[2];


--C1L231 is watchgai:inst6|Equal~675
C1L231 = C1_miao[5] & C1_miao[1] & C1_miao[0];


--C1L316 is watchgai:inst6|Mux~3985
C1L316 = C1L231 & !C1_miao[3] & (C1_miao[2] $ !C1_miao[4]);


--C1L350 is watchgai:inst6|p1[1]~1108
C1L350 = C1_miao[0] & (C1_miao[1] & !C1_miao[5] & C1_miao[3] # !C1_miao[1] & (C1_miao[5] $ !C1_miao[3])) # !C1_miao[0] & (C1_miao[1] & (C1_miao[5] $ !C1_miao[3]) # !C1_miao[1] & C1_miao[5] & !C1_miao[3]);


--C1L351 is watchgai:inst6|p1[1]~1109
C1L351 = C1_miao[0] & (C1_miao[1] # C1_miao[5] # !C1_miao[3]) # !C1_miao[0] & (C1_miao[1] & (C1_miao[5] # !C1_miao[3]) # !C1_miao[1] & (C1_miao[5] $ C1_miao[3]));


--C1L317 is watchgai:inst6|Mux~3986
C1L317 = C1_miao[2] & C1L350 & (!C1_miao[4]) # !C1_miao[2] & (!C1L351 & C1_miao[4]);


--C1L318 is watchgai:inst6|Mux~3987
C1L318 = C1_count[3] & (C1L316 # C1L317) # !C1_count[3] & C1L315 & (C1L316 # C1L317);


--C1L369 is watchgai:inst6|p2[1]~284
C1L369 = C1_miao[4] & (C1_miao[2] & (!C1_miao[3]) # !C1_miao[2] & (C1_miao[1] # C1_miao[3]));


--C1L319 is watchgai:inst6|Mux~3988
C1L319 = C1_miao[5] & C1L369;


--C1L320 is watchgai:inst6|Mux~3989
C1L320 = C1_count[0] & (C1_count[2] # C1L319) # !C1_count[0] & C1_count[2] & C1_p4[1];


--C1L321 is watchgai:inst6|Mux~3990
C1L321 = !C1_count[1] & !C1_count[3];


--C1L322 is watchgai:inst6|Mux~3991
C1L322 = C1L314 # C1L318 # C1L320 & C1L321;


--C1L377 is watchgai:inst6|p3[0]~1146
C1L377 = C1_fen[0] & (C1_fen[3] # C1_fen[2] & C1_fen[5]) # !C1_fen[0] & C1_fen[3] & (C1_fen[2] # C1_fen[5]);


--C1L378 is watchgai:inst6|p3[0]~1147
C1L378 = C1_fen[0] & (C1_fen[2] $ (C1_fen[5] # !C1_fen[3])) # !C1_fen[0] & C1_fen[2] & (C1_fen[5] # !C1_fen[3]);


--C1L411 is watchgai:inst6|p5[0]~1128
C1L411 = C1_shi[0] & !C1_shi[2] & (C1_shi[1] $ !C1_shi[3]) # !C1_shi[0] & C1_shi[2] & (C1_shi[1] $ !C1_shi[3]);


--C1L412 is watchgai:inst6|p5[0]~1129
C1L412 = C1_shi[2] & (C1L414 # C1L416 & C1L411) # !C1_shi[2] & C1L416 & C1L411;


--C1L323 is watchgai:inst6|Mux~3992
C1L323 = C1L286 & (C1L297 & C1_p4[3] # !C1L297 & (C1L412)) # !C1L286 & (C1L297);


--C1L324 is watchgai:inst6|Mux~3993
C1L324 = !C1L143 & (C1L151 & C1L380 # !C1L151 & (C1L323));


--C1L347 is watchgai:inst6|p1[0]~1110
C1L347 = C1_miao[0] & (C1_miao[2] & C1_miao[4] & !C1_miao[5] # !C1_miao[2] & (C1_miao[4] $ !C1_miao[5])) # !C1_miao[0] & (C1_miao[2] & (C1_miao[4] $ !C1_miao[5]) # !C1_miao[2] & !C1_miao[4] & C1_miao[5]);


--C1L348 is watchgai:inst6|p1[0]~1111
C1L348 = C1_miao[0] & !C1_miao[2] & (C1_miao[5]) # !C1_miao[0] & (C1_miao[5] $ (!C1_miao[2] & C1_miao[4]));


--C1L349 is watchgai:inst6|p1[0]~1112
C1L349 = C1_miao[1] & C1L347 & (C1_miao[3] $ C1L348) # !C1_miao[1] & (C1_miao[3] & !C1L347 & C1L348 # !C1_miao[3] & C1L347 & !C1L348);


--C1L325 is watchgai:inst6|Mux~3994
C1L325 = C1L324 # C1L143 & C1L349;


--C1L326 is watchgai:inst6|Mux~3995
C1L326 = C1_count[3] # !C1_count[2] # !C1_count[1] # !C1_count[0];


--C1L327 is watchgai:inst6|Mux~3996
C1L327 = C1_count[0] # C1_count[3] # !C1_count[2] # !C1_count[1];


--C1L328 is watchgai:inst6|Mux~3997
C1L328 = C1_count[1] # C1_count[3] # !C1_count[2] # !C1_count[0];


--C1L329 is watchgai:inst6|Mux~3998
C1L329 = C1_count[0] # C1_count[1] # C1_count[3] # !C1_count[2];


--C1L330 is watchgai:inst6|Mux~3999
C1L330 = C1_count[2] # C1_count[3] # !C1_count[1] # !C1_count[0];


--C1L331 is watchgai:inst6|Mux~4000
C1L331 = C1_count[0] # C1_count[2] # C1_count[3] # !C1_count[1];


--C1L332 is watchgai:inst6|Mux~4001
C1L332 = C1_count[1] # C1_count[2] # C1_count[3] # !C1_count[0];


--C1L333 is watchgai:inst6|Mux~4002
C1L333 = C1_count[0] # C1_count[1] # C1_count[2] # C1_count[3];


--D1_hub_tdo is sld_hub:sld_hub_inst|hub_tdo
D1_hub_tdo = AMPP_FUNCTION(!A1L5, D1L21, !FB1_state[8]);


--C1L223 is watchgai:inst6|count[1]~130
C1L223 = C1_count[0] $ C1_count[1];


--C1L225 is watchgai:inst6|count[2]~131
C1L225 = C1_count[2] $ (C1_count[0] & C1_count[1]);


--C1L227 is watchgai:inst6|count[3]~132
C1L227 = C1_count[3] $ (C1_count[0] & C1_count[1] & C1_count[2]);


--C1_cnt1[24] is watchgai:inst6|cnt1[24]
C1_cnt1[24] = DFFEAS(C1L85, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[23] is watchgai:inst6|cnt1[23]
C1_cnt1[23] = DFFEAS(C1L83, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[22] is watchgai:inst6|cnt1[22]
C1_cnt1[22] = DFFEAS(C1L81, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[21] is watchgai:inst6|cnt1[21]
C1_cnt1[21] = DFFEAS(C1L79, clk,  ,  ,  ,  ,  ,  ,  );


--C1L232 is watchgai:inst6|Equal~676
C1L232 = !C1_cnt1[24] & !C1_cnt1[23] & !C1_cnt1[22] & !C1_cnt1[21];


--C1_cnt1[20] is watchgai:inst6|cnt1[20]
C1_cnt1[20] = DFFEAS(C1L77, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[19] is watchgai:inst6|cnt1[19]
C1_cnt1[19] = DFFEAS(C1L75, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[18] is watchgai:inst6|cnt1[18]
C1_cnt1[18] = DFFEAS(C1L73, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[17] is watchgai:inst6|cnt1[17]
C1_cnt1[17] = DFFEAS(C1L71, clk,  ,  ,  ,  ,  ,  ,  );


--C1L233 is watchgai:inst6|Equal~677
C1L233 = !C1_cnt1[20] & !C1_cnt1[19] & !C1_cnt1[18] & !C1_cnt1[17];


--C1_cnt1[16] is watchgai:inst6|cnt1[16]
C1_cnt1[16] = DFFEAS(C1L186, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[15] is watchgai:inst6|cnt1[15]
C1_cnt1[15] = DFFEAS(C1L67, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[14] is watchgai:inst6|cnt1[14]
C1_cnt1[14] = DFFEAS(C1L65, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[13] is watchgai:inst6|cnt1[13]
C1_cnt1[13] = DFFEAS(C1L63, clk,  ,  ,  ,  ,  ,  ,  );


--C1L234 is watchgai:inst6|Equal~678
C1L234 = C1_cnt1[16] & !C1_cnt1[15] & !C1_cnt1[14] & !C1_cnt1[13];


--C1_cnt1[12] is watchgai:inst6|cnt1[12]
C1_cnt1[12] = DFFEAS(C1L187, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[11] is watchgai:inst6|cnt1[11]
C1_cnt1[11] = DFFEAS(C1L59, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[10] is watchgai:inst6|cnt1[10]
C1_cnt1[10] = DFFEAS(C1L57, clk,  ,  ,  ,  ,  ,  ,  );


--C1_cnt1[9] is watchgai:inst6|cnt1[9]
C1_cnt1[9] = DFFEAS(C1L55, clk,  ,  ,  ,  ,  ,  ,  );


--C1L235 is watchgai:inst6|Equal~679
C1L235 = C1_cnt1[12] & !C1_cnt1[11] & !C1_cnt1[10] & !C1_cnt1[9];