clock.map.eqn

一个用verilog编写的数字时钟

--operation mode is normal

cnt[21]_lut_out = A1L21 & (!A1L722 # !A1L422);
cnt[21] = DFFEAS(cnt[21]_lut_out, clk, rst, , , , , , );


--cnt[20] is cnt[20]
--operation mode is normal

cnt[20]_lut_out = A1L41;
cnt[20] = DFFEAS(cnt[20]_lut_out, clk, rst, , , , , , );


--cnt[19] is cnt[19]
--operation mode is normal

cnt[19]_lut_out = A1L61;
cnt[19] = DFFEAS(cnt[19]_lut_out, clk, rst, , , , , , );


--cnt[18] is cnt[18]
--operation mode is normal

cnt[18]_lut_out = A1L81;
cnt[18] = DFFEAS(cnt[18]_lut_out, clk, rst, , , , , , );


--A1L122 is reduce_nor~1046
--operation mode is normal

A1L122 = cnt[21] & !cnt[20] & !cnt[19] & !cnt[18];


--cnt[17] is cnt[17]
--operation mode is normal

cnt[17]_lut_out = A1L02 & (!A1L722 # !A1L422);
cnt[17] = DFFEAS(cnt[17]_lut_out, clk, rst, , , , , , );


--cnt[14] is cnt[14]
--operation mode is normal

cnt[14]_lut_out = A1L22 & (!A1L722 # !A1L422);
cnt[14] = DFFEAS(cnt[14]_lut_out, clk, rst, , , , , , );


--cnt[16] is cnt[16]
--operation mode is normal

cnt[16]_lut_out = A1L42;
cnt[16] = DFFEAS(cnt[16]_lut_out, clk, rst, , , , , , );


--cnt[15] is cnt[15]
--operation mode is normal

cnt[15]_lut_out = A1L62;
cnt[15] = DFFEAS(cnt[15]_lut_out, clk, rst, , , , , , );


--A1L222 is reduce_nor~1047
--operation mode is normal

A1L222 = cnt[17] & cnt[14] & !cnt[16] & !cnt[15];


--cnt[12] is cnt[12]
--operation mode is normal

cnt[12]_lut_out = A1L82 & (!A1L722 # !A1L422);
cnt[12] = DFFEAS(cnt[12]_lut_out, clk, rst, , , , , , );


--cnt[11] is cnt[11]
--operation mode is normal

cnt[11]_lut_out = A1L03 & (!A1L722 # !A1L422);
cnt[11] = DFFEAS(cnt[11]_lut_out, clk, rst, , , , , , );


--cnt[13] is cnt[13]
--operation mode is normal

cnt[13]_lut_out = A1L23;
cnt[13] = DFFEAS(cnt[13]_lut_out, clk, rst, , , , , , );


--cnt[10] is cnt[10]
--operation mode is normal

cnt[10]_lut_out = A1L43;
cnt[10] = DFFEAS(cnt[10]_lut_out, clk, rst, , , , , , );


--A1L322 is reduce_nor~1048
--operation mode is normal

A1L322 = cnt[12] & cnt[11] & !cnt[13] & !cnt[10];


--A1L422 is reduce_nor~1049
--operation mode is normal

A1L422 = A1L022 & A1L122 & A1L222 & A1L322;


--cnt[9] is cnt[9]
--operation mode is normal

cnt[9]_lut_out = A1L63 & (!A1L722 # !A1L422);
cnt[9] = DFFEAS(cnt[9]_lut_out, clk, rst, , , , , , );


--cnt[8] is cnt[8]
--operation mode is normal

cnt[8]_lut_out = A1L83;
cnt[8] = DFFEAS(cnt[8]_lut_out, clk, rst, , , , , , );


--cnt[7] is cnt[7]
--operation mode is normal

cnt[7]_lut_out = A1L04;
cnt[7] = DFFEAS(cnt[7]_lut_out, clk, rst, , , , , , );


--cnt[6] is cnt[6]
--operation mode is normal

cnt[6]_lut_out = A1L24;
cnt[6] = DFFEAS(cnt[6]_lut_out, clk, rst, , , , , , );


--A1L522 is reduce_nor~1050
--operation mode is normal

A1L522 = cnt[9] & !cnt[8] & !cnt[7] & !cnt[6];


--cnt[5] is cnt[5]
--operation mode is normal

cnt[5]_lut_out = A1L44;
cnt[5] = DFFEAS(cnt[5]_lut_out, clk, rst, , , , , , );


--cnt[4] is cnt[4]
--operation mode is normal

cnt[4]_lut_out = A1L64;
cnt[4] = DFFEAS(cnt[4]_lut_out, clk, rst, , , , , , );


--cnt[3] is cnt[3]
--operation mode is normal

cnt[3]_lut_out = A1L84;
cnt[3] = DFFEAS(cnt[3]_lut_out, clk, rst, , , , , , );


--cnt[2] is cnt[2]
--operation mode is normal

cnt[2]_lut_out = A1L05;
cnt[2] = DFFEAS(cnt[2]_lut_out, clk, rst, , , , , , );


--A1L622 is reduce_nor~1051
--operation mode is normal

A1L622 = !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2];


--cnt[1] is cnt[1]
--operation mode is normal

cnt[1]_lut_out = A1L25;
cnt[1] = DFFEAS(cnt[1]_lut_out, clk, rst, , , , , , );


--cnt[0] is cnt[0]
--operation mode is normal

cnt[0]_lut_out = A1L45 & (!A1L722 # !A1L422);
cnt[0] = DFFEAS(cnt[0]_lut_out, clk, rst, , , , , , );


--A1L722 is reduce_nor~1052
--operation mode is normal

A1L722 = A1L522 & A1L622 & !cnt[1] & !cnt[0];


--A1L822 is reduce_nor~1053
--operation mode is normal

A1L822 = A1L422 & A1L722;


--A1L922 is reduce_nor~1054
--operation mode is normal

A1L922 = dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2];


--A1L2 is _~10
--operation mode is normal

A1L2 = A1L922 & A1L422 & A1L722;


--A1L041 is dataout_buf[1][3]~1407
--operation mode is normal

A1L041 = dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[1][0] & A1L2;


--cnt_scan[0] is cnt_scan[0]
--operation mode is arithmetic

cnt_scan[0]_lut_out = !cnt_scan[0];
cnt_scan[0] = DFFEAS(cnt_scan[0]_lut_out, clk, rst, , , , , , );

--A1L09 is cnt_scan[0]~225
--operation mode is arithmetic

A1L09 = CARRY(cnt_scan[0]);


--cnt_scan[1] is cnt_scan[1]
--operation mode is arithmetic

cnt_scan[1]_carry_eqn = A1L09;
cnt_scan[1]_lut_out = cnt_scan[1] $ (cnt_scan[1]_carry_eqn);
cnt_scan[1] = DFFEAS(cnt_scan[1]_lut_out, clk, rst, , , , , , );

--A1L29 is cnt_scan[1]~229
--operation mode is arithmetic

A1L29 = CARRY(!A1L09 # !cnt_scan[1]);


--cnt_scan[2] is cnt_scan[2]
--operation mode is arithmetic

cnt_scan[2]_carry_eqn = A1L29;
cnt_scan[2]_lut_out = cnt_scan[2] $ (!cnt_scan[2]_carry_eqn);
cnt_scan[2] = DFFEAS(cnt_scan[2]_lut_out, clk, rst, , , , , , );

--A1L49 is cnt_scan[2]~233
--operation mode is arithmetic

A1L49 = CARRY(cnt_scan[2] & (!A1L29));


--cnt_scan[3] is cnt_scan[3]
--operation mode is arithmetic

cnt_scan[3]_carry_eqn = A1L49;
cnt_scan[3]_lut_out = cnt_scan[3] $ (cnt_scan[3]_carry_eqn);
cnt_scan[3] = DFFEAS(cnt_scan[3]_lut_out, clk, rst, , , , , , );

--A1L69 is cnt_scan[3]~237
--operation mode is arithmetic

A1L69 = CARRY(!A1L49 # !cnt_scan[3]);


--A1L032 is reduce_nor~1055
--operation mode is normal

A1L032 = !cnt_scan[3] # !cnt_scan[2] # !cnt_scan[1] # !cnt_scan[0];


--cnt_scan[4] is cnt_scan[4]
--operation mode is arithmetic

cnt_scan[4]_carry_eqn = A1L69;
cnt_scan[4]_lut_out = cnt_scan[4] $ (!cnt_scan[4]_carry_eqn);
cnt_scan[4] = DFFEAS(cnt_scan[4]_lut_out, clk, rst, , , , , , );

--A1L89 is cnt_scan[4]~241
--operation mode is arithmetic

A1L89 = CARRY(cnt_scan[4] & (!A1L69));


--cnt_scan[5] is cnt_scan[5]
--operation mode is arithmetic

cnt_scan[5]_carry_eqn = A1L89;
cnt_scan[5]_lut_out = cnt_scan[5] $ (cnt_scan[5]_carry_eqn);
cnt_scan[5] = DFFEAS(cnt_scan[5]_lut_out, clk, rst, , , , , , );

--A1L001 is cnt_scan[5]~245
--operation mode is arithmetic

A1L001 = CARRY(!A1L89 # !cnt_scan[5]);


--cnt_scan[6] is cnt_scan[6]
--operation mode is arithmetic

cnt_scan[6]_carry_eqn = A1L001;
cnt_scan[6]_lut_out = cnt_scan[6] $ (!cnt_scan[6]_carry_eqn);
cnt_scan[6] = DFFEAS(cnt_scan[6]_lut_out, clk, rst, , , , , , );

--A1L201 is cnt_scan[6]~249
--operation mode is arithmetic

A1L201 = CARRY(cnt_scan[6] & (!A1L001));


--cnt_scan[7] is cnt_scan[7]
--operation mode is arithmetic

cnt_scan[7]_carry_eqn = A1L201;
cnt_scan[7]_lut_out = cnt_scan[7] $ (cnt_scan[7]_carry_eqn);
cnt_scan[7] = DFFEAS(cnt_scan[7]_lut_out, clk, rst, , , , , , );

--A1L401 is cnt_scan[7]~253
--operation mode is arithmetic

A1L401 = CARRY(!A1L201 # !cnt_scan[7]);


--A1L132 is reduce_nor~1056
--operation mode is normal

A1L132 = !cnt_scan[7] # !cnt_scan[6] # !cnt_scan[5] # !cnt_scan[4];


--cnt_scan[8] is cnt_scan[8]
--operation mode is arithmetic

cnt_scan[8]_carry_eqn = A1L401;
cnt_scan[8]_lut_out = cnt_scan[8] $ (!cnt_scan[8]_carry_eqn);
cnt_scan[8] = DFFEAS(cnt_scan[8]_lut_out, clk, rst, , , , , , );

--A1L601 is cnt_scan[8]~257
--operation mode is arithmetic

A1L601 = CARRY(cnt_scan[8] & (!A1L401));


--cnt_scan[9] is cnt_scan[9]
--operation mode is arithmetic

cnt_scan[9]_carry_eqn = A1L601;
cnt_scan[9]_lut_out = cnt_scan[9] $ (cnt_scan[9]_carry_eqn);
cnt_scan[9] = DFFEAS(cnt_scan[9]_lut_out, clk, rst, , , , , , );

--A1L801 is cnt_scan[9]~261
--operation mode is arithmetic

A1L801 = CARRY(!A1L601 # !cnt_scan[9]);


--cnt_scan[10] is cnt_scan[10]
--operation mode is arithmetic

cnt_scan[10]_carry_eqn = A1L801;
cnt_scan[10]_lut_out = cnt_scan[10] $ (!cnt_scan[10]_carry_eqn);
cnt_scan[10] = DFFEAS(cnt_scan[10]_lut_out, clk, rst, , , , , , );

--A1L011 is cnt_scan[10]~265
--operation mode is arithmetic

A1L011 = CARRY(cnt_scan[10] & (!A1L801));


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

cnt_scan[11]_carry_eqn = A1L011;
cnt_scan[11]_lut_out = cnt_scan[11] $ (cnt_scan[11]_carry_eqn);
cnt_scan[11] = DFFEAS(cnt_scan[11]_lut_out, clk, rst, , , , , , );

--A1L211 is cnt_scan[11]~269
--operation mode is arithmetic

A1L211 = CARRY(!A1L011 # !cnt_scan[11]);


--A1L232 is reduce_nor~1057
--operation mode is normal

A1L232 = !cnt_scan[11] # !cnt_scan[10] # !cnt_scan[9] # !cnt_scan[8];


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

cnt_scan[12]_carry_eqn = A1L211;
cnt_scan[12]_lut_out = cnt_scan[12] $ (!cnt_scan[12]_carry_eqn);
cnt_scan[12] = DFFEAS(cnt_scan[12]_lut_out, clk, rst, , , , , , );

--A1L411 is cnt_scan[12]~273
--operation mode is arithmetic

A1L411 = CARRY(cnt_scan[12] & (!A1L211));


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

cnt_scan[13]_carry_eqn = A1L411;
cnt_scan[13]_lut_out = cnt_scan[13] $ (cnt_scan[13]_carry_eqn);
cnt_scan[13] = DFFEAS(cnt_scan[13]_lut_out, clk, rst, , , , , , );

--A1L611 is cnt_scan[13]~277
--operation mode is arithmetic

A1L611 = CARRY(!A1L411 # !cnt_scan[13]);


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

cnt_scan[14]_carry_eqn = A1L611;
cnt_scan[14]_lut_out = cnt_scan[14] $ (!cnt_scan[14]_carry_eqn);
cnt_scan[14] = DFFEAS(cnt_scan[14]_lut_out, clk, rst, , , , , , );

--A1L811 is cnt_scan[14]~281
--operation mode is arithmetic

A1L811 = CARRY(cnt_scan[14] & (!A1L611));


--cnt_scan[15] is cnt_scan[15]
--operation mode is normal

cnt_scan[15]_carry_eqn = A1L811;
cnt_scan[15]_lut_out = cnt_scan[15] $ (cnt_scan[15]_carry_eqn);
cnt_scan[15] = DFFEAS(cnt_scan[15]_lut_out, clk, rst, , , , , , );


--A1L332 is reduce_nor~1058
--operation mode is normal

A1L332 = !cnt_scan[15] # !cnt_scan[14] # !cnt_scan[13] # !cnt_scan[12];


--A1L432 is reduce_nor~1059
--operation mode is normal

A1L432 = !A1L032 & !A1L132 & !A1L232 & !A1L332;


--A1L3 is add~1015
--operation mode is normal

A1L3 = dataout_buf[3][1] & dataout_buf[3][2] & dataout_buf[3][0];


--A1L85 is cal~153
--operation mode is normal

A1L85 = dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2];


--A1L161 is dataout_buf[6][3]~1408
--operation mode is normal

A1L161 = !dataout_buf[1][3] & !dataout_buf[1][1];


--A1L261 is dataout_buf[6][3]~1409
--operation mode is normal

A1L261 = dataout_buf[1][2] & dataout_buf[1][0] & A1L922 & A1L161;


--A1L741 is dataout_buf[3][3]~1411
--operation mode is normal

A1L741 = A1L422 & A1L722 & A1L261;


--A1L95 is cal~154
--operation mode is normal

A1L95 = dataout_buf[6][3] & dataout_buf[6][1] & dataout_buf[6][0] & !dataout_buf[6][2];


--A1L361 is dataout_buf[6][3]~1412
--operation mode is normal

A1L361 = dataout_buf[4][2] & dataout_buf[4][0] & !dataout_buf[4][3] & !dataout_buf[4][1];


--A1L75 is cal~3