xiaolizi1588.map.eqn

ic读卡器 能读ic电话卡并按时记费

--A1L711 is numl[10]~628
--operation mode is arithmetic

A1L711 = CARRY(numl[10] & (!A1L511));


--numl[11] is numl[11]
--operation mode is arithmetic

numl[11]_carry_eqn = A1L711;
numl[11]_lut_out = numl[11] $ (numl[11]_carry_eqn);
numl[11] = DFFEAS(numl[11]_lut_out, clk, VCC, , , , , A1L851, );

--A1L911 is numl[11]~632
--operation mode is arithmetic

A1L911 = CARRY(!A1L711 # !numl[11]);


--A1L671 is reduce_nor~640
--operation mode is normal

A1L671 = numl[8] # numl[9] # numl[10] # numl[11];


--numl[12] is numl[12]
--operation mode is arithmetic

numl[12]_carry_eqn = A1L911;
numl[12]_lut_out = numl[12] $ (!numl[12]_carry_eqn);
numl[12] = DFFEAS(numl[12]_lut_out, clk, VCC, , , , , A1L851, );

--A1L121 is numl[12]~636
--operation mode is arithmetic

A1L121 = CARRY(numl[12] & (!A1L911));


--numl[13] is numl[13]
--operation mode is arithmetic

numl[13]_carry_eqn = A1L121;
numl[13]_lut_out = numl[13] $ (numl[13]_carry_eqn);
numl[13] = DFFEAS(numl[13]_lut_out, clk, VCC, , , , , A1L851, );

--A1L321 is numl[13]~640
--operation mode is arithmetic

A1L321 = CARRY(!A1L121 # !numl[13]);


--numl[14] is numl[14]
--operation mode is arithmetic

numl[14]_carry_eqn = A1L321;
numl[14]_lut_out = numl[14] $ (!numl[14]_carry_eqn);
numl[14] = DFFEAS(numl[14]_lut_out, clk, VCC, , , , , A1L851, );

--A1L521 is numl[14]~644
--operation mode is arithmetic

A1L521 = CARRY(numl[14] & (!A1L321));


--numl[15] is numl[15]
--operation mode is arithmetic

numl[15]_carry_eqn = A1L521;
numl[15]_lut_out = numl[15] $ (numl[15]_carry_eqn);
numl[15] = DFFEAS(numl[15]_lut_out, clk, VCC, , , , , A1L851, );

--A1L721 is numl[15]~648
--operation mode is arithmetic

A1L721 = CARRY(!A1L521 # !numl[15]);


--A1L771 is reduce_nor~641
--operation mode is normal

A1L771 = numl[12] # numl[13] # numl[14] # numl[15];


--A1L871 is reduce_nor~642
--operation mode is normal

A1L871 = A1L471 # A1L571 # A1L671 # A1L771;


--numl[18] is numl[18]
--operation mode is arithmetic

numl[18]_carry_eqn = A1L131;
numl[18]_lut_out = numl[18] $ (!numl[18]_carry_eqn);
numl[18] = DFFEAS(numl[18]_lut_out, clk, VCC, , , , , A1L851, );

--A1L331 is numl[18]~652
--operation mode is arithmetic

A1L331 = CARRY(numl[18] & (!A1L131));


--numl[19] is numl[19]
--operation mode is arithmetic

numl[19]_carry_eqn = A1L331;
numl[19]_lut_out = numl[19] $ (numl[19]_carry_eqn);
numl[19] = DFFEAS(numl[19]_lut_out, clk, VCC, , , , , A1L851, );

--A1L531 is numl[19]~656
--operation mode is arithmetic

A1L531 = CARRY(!A1L331 # !numl[19]);


--numl[16] is numl[16]
--operation mode is arithmetic

numl[16]_carry_eqn = A1L721;
numl[16]_lut_out = numl[16] $ (!numl[16]_carry_eqn);
numl[16] = DFFEAS(numl[16]_lut_out, clk, VCC, , , , , A1L851, );

--A1L921 is numl[16]~660
--operation mode is arithmetic

A1L921 = CARRY(numl[16] & (!A1L721));


--numl[17] is numl[17]
--operation mode is arithmetic

numl[17]_carry_eqn = A1L921;
numl[17]_lut_out = numl[17] $ (numl[17]_carry_eqn);
numl[17] = DFFEAS(numl[17]_lut_out, clk, VCC, , , , , A1L851, );

--A1L131 is numl[17]~664
--operation mode is arithmetic

A1L131 = CARRY(!A1L921 # !numl[17]);


--A1L971 is reduce_nor~643
--operation mode is normal

A1L971 = numl[16] # numl[17];


--numl[20] is numl[20]
--operation mode is arithmetic

numl[20]_carry_eqn = A1L531;
numl[20]_lut_out = numl[20] $ (!numl[20]_carry_eqn);
numl[20] = DFFEAS(numl[20]_lut_out, clk, VCC, , , , , A1L851, );

--A1L731 is numl[20]~668
--operation mode is arithmetic

A1L731 = CARRY(numl[20] & (!A1L531));


--numl[21] is numl[21]
--operation mode is arithmetic

numl[21]_carry_eqn = A1L731;
numl[21]_lut_out = numl[21] $ (numl[21]_carry_eqn);
numl[21] = DFFEAS(numl[21]_lut_out, clk, VCC, , , , , A1L851, );

--A1L931 is numl[21]~672
--operation mode is arithmetic

A1L931 = CARRY(!A1L731 # !numl[21]);


--numl[22] is numl[22]
--operation mode is arithmetic

numl[22]_carry_eqn = A1L931;
numl[22]_lut_out = numl[22] $ (!numl[22]_carry_eqn);
numl[22] = DFFEAS(numl[22]_lut_out, clk, VCC, , , , , A1L851, );

--A1L141 is numl[22]~676
--operation mode is arithmetic

A1L141 = CARRY(numl[22] & (!A1L931));


--numl[23] is numl[23]
--operation mode is arithmetic

numl[23]_carry_eqn = A1L141;
numl[23]_lut_out = numl[23] $ (numl[23]_carry_eqn);
numl[23] = DFFEAS(numl[23]_lut_out, clk, VCC, , , , , A1L851, );

--A1L341 is numl[23]~680
--operation mode is arithmetic

A1L341 = CARRY(!A1L141 # !numl[23]);


--A1L081 is reduce_nor~644
--operation mode is normal

A1L081 = numl[20] # numl[21] # numl[22] # numl[23];


--A1L181 is reduce_nor~645
--operation mode is normal

A1L181 = numl[18] # numl[19] # A1L971 # A1L081;


--numl[24] is numl[24]
--operation mode is arithmetic

numl[24]_carry_eqn = A1L341;
numl[24]_lut_out = numl[24] $ (!numl[24]_carry_eqn);
numl[24] = DFFEAS(numl[24]_lut_out, clk, VCC, , , , , A1L851, );

--A1L541 is numl[24]~684
--operation mode is arithmetic

A1L541 = CARRY(numl[24] & (!A1L341));


--numl[25] is numl[25]
--operation mode is arithmetic

numl[25]_carry_eqn = A1L541;
numl[25]_lut_out = numl[25] $ (numl[25]_carry_eqn);
numl[25] = DFFEAS(numl[25]_lut_out, clk, VCC, , , , , A1L851, );

--A1L741 is numl[25]~688
--operation mode is arithmetic

A1L741 = CARRY(!A1L541 # !numl[25]);


--numl[26] is numl[26]
--operation mode is arithmetic

numl[26]_carry_eqn = A1L741;
numl[26]_lut_out = numl[26] $ (!numl[26]_carry_eqn);
numl[26] = DFFEAS(numl[26]_lut_out, clk, VCC, , , , , A1L851, );

--A1L941 is numl[26]~692
--operation mode is arithmetic

A1L941 = CARRY(numl[26] & (!A1L741));


--numl[27] is numl[27]
--operation mode is arithmetic

numl[27]_carry_eqn = A1L941;
numl[27]_lut_out = numl[27] $ (numl[27]_carry_eqn);
numl[27] = DFFEAS(numl[27]_lut_out, clk, VCC, , , , , A1L851, );

--A1L151 is numl[27]~696
--operation mode is arithmetic

A1L151 = CARRY(!A1L941 # !numl[27]);


--A1L281 is reduce_nor~646
--operation mode is normal

A1L281 = numl[24] # numl[25] # numl[26] # numl[27];


--numl[28] is numl[28]
--operation mode is arithmetic

numl[28]_carry_eqn = A1L151;
numl[28]_lut_out = numl[28] $ (!numl[28]_carry_eqn);
numl[28] = DFFEAS(numl[28]_lut_out, clk, VCC, , , , , A1L851, );

--A1L351 is numl[28]~700
--operation mode is arithmetic

A1L351 = CARRY(numl[28] & (!A1L151));


--numl[29] is numl[29]
--operation mode is arithmetic

numl[29]_carry_eqn = A1L351;
numl[29]_lut_out = numl[29] $ (numl[29]_carry_eqn);
numl[29] = DFFEAS(numl[29]_lut_out, clk, VCC, , , , , A1L851, );

--A1L551 is numl[29]~704
--operation mode is arithmetic

A1L551 = CARRY(!A1L351 # !numl[29]);


--numl[30] is numl[30]
--operation mode is arithmetic

numl[30]_carry_eqn = A1L551;
numl[30]_lut_out = numl[30] $ (!numl[30]_carry_eqn);
numl[30] = DFFEAS(numl[30]_lut_out, clk, VCC, , , , , A1L851, );

--A1L751 is numl[30]~708
--operation mode is arithmetic

A1L751 = CARRY(numl[30] & (!A1L551));


--numl[31] is numl[31]
--operation mode is normal

numl[31]_carry_eqn = A1L751;
numl[31]_lut_out = numl[31] $ (numl[31]_carry_eqn);
numl[31] = DFFEAS(numl[31]_lut_out, clk, VCC, , , , , A1L851, );


--A1L381 is reduce_nor~647
--operation mode is normal

A1L381 = numl[28] # numl[29] # numl[30] # numl[31];


--A1L161 is reduce_nor~0
--operation mode is normal

A1L161 = A1L871 # A1L181 # A1L281 # A1L381;


--A1L851 is numl[30]~715
--operation mode is normal

A1L851 = !A1L161 # !state;


--A1L75 is dtime[0]~1106
--operation mode is normal

A1L75 = A1L55 # !state # !card;


--A1L26 is dtime[4]~1107
--operation mode is normal

A1L26 = !A1L261 & A1L55 # !state # !card;


--A1L17 is dtime~1108
--operation mode is normal

A1L17 = card & state & A1L361;


--A1L552 is warn~291
--operation mode is normal

A1L552 = A1L1 & (decide[2] & (A1L4) # !decide[2] & A1L2);


--A1L802 is temp[9]~753
--operation mode is normal

A1L802 = !A1L861 & !A1L371 # !A1L652Q # !card;


--card is card
--operation mode is input

card = INPUT();


--state is state
--operation mode is input

state = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


--decide[1] is decide[1]
--operation mode is input

decide[1] = INPUT();


--decide[2] is decide[2]
--operation mode is input

decide[2] = INPUT();


--disptime[0] is disptime[0]
--operation mode is output

disptime[0] = OUTPUT(dtime[0]);


--disptime[1] is disptime[1]
--operation mode is output

disptime[1] = OUTPUT(dtime[1]);


--disptime[2] is disptime[2]
--operation mode is output

disptime[2] = OUTPUT(dtime[2]);


--disptime[3] is disptime[3]
--operation mode is output

disptime[3] = OUTPUT(dtime[3]);


--disptime[4] is disptime[4]
--operation mode is output

disptime[4] = OUTPUT(dtime[4]);


--disptime[5] is disptime[5]
--operation mode is output

disptime[5] = OUTPUT(dtime[5]);


--disptime[6] is disptime[6]
--operation mode is output

disptime[6] = OUTPUT(dtime[6]);


--disptime[7] is disptime[7]
--operation mode is output

disptime[7] = OUTPUT(dtime[7]);


--disptime[8] is disptime[8]
--operation mode is output

disptime[8] = OUTPUT(dtime[8]);


--dispmoney[0] is dispmoney[0]
--operation mode is output

dispmoney[0] = OUTPUT(A1L13);


--dispmoney[1] is dispmoney[1]
--operation mode is output

dispmoney[1] = OUTPUT(A1L23);


--dispmoney[2] is dispmoney[2]
--operation mode is output

dispmoney[2] = OUTPUT(A1L33);


--dispmoney[3] is dispmoney[3]
--operation mode is output

dispmoney[3] = OUTPUT(A1L43);


--dispmoney[4] is dispmoney[4]
--operation mode is output

dispmoney[4] = OUTPUT(A1L53);


--dispmoney[5] is dispmoney[5]
--operation mode is output

dispmoney[5] = OUTPUT(A1L63);


--dispmoney[6] is dispmoney[6]
--operation mode is output

dispmoney[6] = OUTPUT(A1L73);


--dispmoney[7] is dispmoney[7]
--operation mode is output

dispmoney[7] = OUTPUT(A1L83);


--dispmoney[8] is dispmoney[8]
--operation mode is output

dispmoney[8] = OUTPUT(A1L93);


--dispmoney[9] is dispmoney[9]
--operation mode is output

dispmoney[9] = OUTPUT(A1L04);


--dispmoney[10] is dispmoney[10]
--operation mode is output

dispmoney[10] = OUTPUT(A1L14);


--write is write
--operation mode is output

write = OUTPUT(A1L062Q);


--read is read
--operation mode is output

read = OUTPUT(card);


--warn is warn
--operation mode is output

warn = OUTPUT(A1L652Q);


--cut is cut
--operation mode is output

cut = OUTPUT(A1L51Q);