clock.map.eqn

一个用verilog编写的数字时钟

--operation mode is normal

A1L75 = !A1L361 # !A1L95 # !A1L261 # !A1L85;


--A1L4 is add~1016
--operation mode is normal

A1L4 = dataout_buf[6][0] & (!dataout_buf[6][1]);


--A1L461 is dataout_buf[6][3]~1414
--operation mode is normal

A1L461 = A1L85 & A1L741 & A1L361;


--A1L351 is dataout_buf[4][3]~1415
--operation mode is normal

A1L351 = A1L422 & A1L722 & A1L85 & A1L261;


--A1L451 is dataout_buf[4][3]~1416
--operation mode is normal

A1L451 = dataout_buf[4][1] & dataout_buf[4][2] & dataout_buf[4][0] & A1L351;


--A1L271 is dataout_buf[7][3]~1417
--operation mode is normal

A1L271 = A1L85 & A1L741 & A1L95 & A1L361;


--A1L371 is dataout_buf[7][3]~1418
--operation mode is normal

A1L371 = dataout_buf[7][1] & dataout_buf[7][2] & !dataout_buf[7][0] & A1L271;


--A1L861 is dataout_buf[7][1]~1423
--operation mode is normal

A1L861 = A1L95 & A1L361 & A1L351 & !dataout_buf[7][0];


--A1L65 is cal~2
--operation mode is normal

A1L65 = !A1L361 # !A1L261 # !A1L85;


--A1L331 is dataout_buf[0][2]~1426
--operation mode is normal

A1L331 = dataout_buf[0][1] & dataout_buf[0][0] & A1L422 & A1L722;


--A1L951 is dataout_buf[6][2]~1427
--operation mode is normal

A1L951 = dataout_buf[6][0] & A1L361 & A1L351 & !dataout_buf[6][1];


--A1L541 is dataout_buf[3][2]~1428
--operation mode is normal

A1L541 = dataout_buf[3][1] & dataout_buf[3][0] & A1L741;


--A1L071 is dataout_buf[7][2]~1429
--operation mode is normal

A1L071 = dataout_buf[7][1] & (!dataout_buf[7][0] & A1L271);


--A1L5 is add~1017
--operation mode is normal

A1L5_carry_eqn = A1L9;
A1L5 = cnt[25] $ (A1L5_carry_eqn);


--A1L6 is add~1022
--operation mode is arithmetic

A1L6_carry_eqn = A1L31;
A1L6 = cnt[22] $ (!A1L6_carry_eqn);

--A1L7 is add~1024
--operation mode is arithmetic

A1L7 = CARRY(cnt[22] & (!A1L31));


--A1L8 is add~1027
--operation mode is arithmetic

A1L8_carry_eqn = A1L11;
A1L8 = cnt[24] $ (!A1L8_carry_eqn);

--A1L9 is add~1029
--operation mode is arithmetic

A1L9 = CARRY(cnt[24] & (!A1L11));


--A1L01 is add~1032
--operation mode is arithmetic

A1L01_carry_eqn = A1L7;
A1L01 = cnt[23] $ (A1L01_carry_eqn);

--A1L11 is add~1034
--operation mode is arithmetic

A1L11 = CARRY(!A1L7 # !cnt[23]);


--A1L21 is add~1037
--operation mode is arithmetic

A1L21_carry_eqn = A1L51;
A1L21 = cnt[21] $ (A1L21_carry_eqn);

--A1L31 is add~1039
--operation mode is arithmetic

A1L31 = CARRY(!A1L51 # !cnt[21]);


--A1L41 is add~1042
--operation mode is arithmetic

A1L41_carry_eqn = A1L71;
A1L41 = cnt[20] $ (!A1L41_carry_eqn);

--A1L51 is add~1044
--operation mode is arithmetic

A1L51 = CARRY(cnt[20] & (!A1L71));


--A1L61 is add~1047
--operation mode is arithmetic

A1L61_carry_eqn = A1L91;
A1L61 = cnt[19] $ (A1L61_carry_eqn);

--A1L71 is add~1049
--operation mode is arithmetic

A1L71 = CARRY(!A1L91 # !cnt[19]);


--A1L81 is add~1052
--operation mode is arithmetic

A1L81_carry_eqn = A1L12;
A1L81 = cnt[18] $ (!A1L81_carry_eqn);

--A1L91 is add~1054
--operation mode is arithmetic

A1L91 = CARRY(cnt[18] & (!A1L12));


--A1L02 is add~1057
--operation mode is arithmetic

A1L02_carry_eqn = A1L52;
A1L02 = cnt[17] $ (A1L02_carry_eqn);

--A1L12 is add~1059
--operation mode is arithmetic

A1L12 = CARRY(!A1L52 # !cnt[17]);


--A1L22 is add~1062
--operation mode is arithmetic

A1L22_carry_eqn = A1L33;
A1L22 = cnt[14] $ (!A1L22_carry_eqn);

--A1L32 is add~1064
--operation mode is arithmetic

A1L32 = CARRY(cnt[14] & (!A1L33));


--A1L42 is add~1067
--operation mode is arithmetic

A1L42_carry_eqn = A1L72;
A1L42 = cnt[16] $ (!A1L42_carry_eqn);

--A1L52 is add~1069
--operation mode is arithmetic

A1L52 = CARRY(cnt[16] & (!A1L72));


--A1L62 is add~1072
--operation mode is arithmetic

A1L62_carry_eqn = A1L32;
A1L62 = cnt[15] $ (A1L62_carry_eqn);

--A1L72 is add~1074
--operation mode is arithmetic

A1L72 = CARRY(!A1L32 # !cnt[15]);


--A1L82 is add~1077
--operation mode is arithmetic

A1L82_carry_eqn = A1L13;
A1L82 = cnt[12] $ (!A1L82_carry_eqn);

--A1L92 is add~1079
--operation mode is arithmetic

A1L92 = CARRY(cnt[12] & (!A1L13));


--A1L03 is add~1082
--operation mode is arithmetic

A1L03_carry_eqn = A1L53;
A1L03 = cnt[11] $ (A1L03_carry_eqn);

--A1L13 is add~1084
--operation mode is arithmetic

A1L13 = CARRY(!A1L53 # !cnt[11]);


--A1L23 is add~1087
--operation mode is arithmetic

A1L23_carry_eqn = A1L92;
A1L23 = cnt[13] $ (A1L23_carry_eqn);

--A1L33 is add~1089
--operation mode is arithmetic

A1L33 = CARRY(!A1L92 # !cnt[13]);


--A1L43 is add~1092
--operation mode is arithmetic

A1L43_carry_eqn = A1L73;
A1L43 = cnt[10] $ (!A1L43_carry_eqn);

--A1L53 is add~1094
--operation mode is arithmetic

A1L53 = CARRY(cnt[10] & (!A1L73));


--A1L63 is add~1097
--operation mode is arithmetic

A1L63_carry_eqn = A1L93;
A1L63 = cnt[9] $ (A1L63_carry_eqn);

--A1L73 is add~1099
--operation mode is arithmetic

A1L73 = CARRY(!A1L93 # !cnt[9]);


--A1L83 is add~1102
--operation mode is arithmetic

A1L83_carry_eqn = A1L14;
A1L83 = cnt[8] $ (!A1L83_carry_eqn);

--A1L93 is add~1104
--operation mode is arithmetic

A1L93 = CARRY(cnt[8] & (!A1L14));


--A1L04 is add~1107
--operation mode is arithmetic

A1L04_carry_eqn = A1L34;
A1L04 = cnt[7] $ (A1L04_carry_eqn);

--A1L14 is add~1109
--operation mode is arithmetic

A1L14 = CARRY(!A1L34 # !cnt[7]);


--A1L24 is add~1112
--operation mode is arithmetic

A1L24_carry_eqn = A1L54;
A1L24 = cnt[6] $ (!A1L24_carry_eqn);

--A1L34 is add~1114
--operation mode is arithmetic

A1L34 = CARRY(cnt[6] & (!A1L54));


--A1L44 is add~1117
--operation mode is arithmetic

A1L44_carry_eqn = A1L74;
A1L44 = cnt[5] $ (A1L44_carry_eqn);

--A1L54 is add~1119
--operation mode is arithmetic

A1L54 = CARRY(!A1L74 # !cnt[5]);


--A1L64 is add~1122
--operation mode is arithmetic

A1L64_carry_eqn = A1L94;
A1L64 = cnt[4] $ (!A1L64_carry_eqn);

--A1L74 is add~1124
--operation mode is arithmetic

A1L74 = CARRY(cnt[4] & (!A1L94));


--A1L84 is add~1127
--operation mode is arithmetic

A1L84_carry_eqn = A1L15;
A1L84 = cnt[3] $ (A1L84_carry_eqn);

--A1L94 is add~1129
--operation mode is arithmetic

A1L94 = CARRY(!A1L15 # !cnt[3]);


--A1L05 is add~1132
--operation mode is arithmetic

A1L05_carry_eqn = A1L35;
A1L05 = cnt[2] $ (!A1L05_carry_eqn);

--A1L15 is add~1134
--operation mode is arithmetic

A1L15 = CARRY(cnt[2] & (!A1L35));


--A1L25 is add~1137
--operation mode is arithmetic

A1L25_carry_eqn = A1L55;
A1L25 = cnt[1] $ (A1L25_carry_eqn);

--A1L35 is add~1139
--operation mode is arithmetic

A1L35 = CARRY(!A1L55 # !cnt[1]);


--A1L45 is add~1142
--operation mode is arithmetic

A1L45 = !cnt[0];

--A1L55 is add~1144
--operation mode is arithmetic

A1L55 = CARRY(cnt[0]);


--clk is clk
--operation mode is input

clk = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


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

dataout[0] = OUTPUT(!A1L1);


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

dataout[1] = OUTPUT(!A1L532);


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

dataout[2] = OUTPUT(A1L632);


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

dataout[3] = OUTPUT(A1L732);


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

dataout[4] = OUTPUT(A1L832);


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

dataout[5] = OUTPUT(A1L932);


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

dataout[6] = OUTPUT(A1L042);


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

dataout[7] = OUTPUT(A1L142);


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

en[0] = OUTPUT(A1L591Q);


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

en[1] = OUTPUT(!A1L791Q);


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

en[2] = OUTPUT(!A1L991Q);


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

en[3] = OUTPUT(!A1L102Q);


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

en[4] = OUTPUT(!A1L302Q);


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

en[5] = OUTPUT(!A1L502Q);


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

en[6] = OUTPUT(!A1L702Q);


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

en[7] = OUTPUT(!A1L902Q);