clock.fit.eqn

一个用verilog编写的数字时钟

cnt[11] = DFFEAS(cnt[11]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );


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

cnt[10]_lut_out = GND;
cnt[10] = DFFEAS(cnt[10]_lut_out, GLOBAL(clk), GLOBAL(rst), , , A1L54, , , VCC);


--A1L552 is reduce_nor~1048 at LC_X10_Y9_N2
--operation mode is normal

cnt[13]_qfbk = cnt[13];
A1L552 = cnt[12] & !cnt[10] & !cnt[13]_qfbk & cnt[11];

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

cnt[13] = DFFEAS(A1L552, GLOBAL(clk), GLOBAL(rst), , , A1L24, , , VCC);


--A1L652 is reduce_nor~1049 at LC_X11_Y8_N8
--operation mode is normal

A1L652 = A1L452 & A1L352 & A1L552 & A1L252;


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

cnt[9]_lut_out = A1L84 & (!A1L952 # !A1L652);
cnt[9] = DFFEAS(cnt[9]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );


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

cnt[7]_lut_out = GND;
cnt[7] = DFFEAS(cnt[7]_lut_out, GLOBAL(clk), GLOBAL(rst), , , A1L45, , , VCC);


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

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


--A1L752 is reduce_nor~1050 at LC_X11_Y8_N5
--operation mode is normal

cnt[8]_qfbk = cnt[8];
A1L752 = !cnt[7] & cnt[9] & !cnt[8]_qfbk & !cnt[6];

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

cnt[8] = DFFEAS(A1L752, GLOBAL(clk), GLOBAL(rst), , , A1L15, , , VCC);


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

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


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

cnt[3]_lut_out = GND;
cnt[3] = DFFEAS(cnt[3]_lut_out, GLOBAL(clk), GLOBAL(rst), , , A1L56, , , VCC);


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

cnt[2]_lut_out = GND;
cnt[2] = DFFEAS(cnt[2]_lut_out, GLOBAL(clk), GLOBAL(rst), , , A1L86, , , VCC);


--A1L852 is reduce_nor~1051 at LC_X7_Y8_N6
--operation mode is normal

cnt[5]_qfbk = cnt[5];
A1L852 = !cnt[3] & !cnt[2] & !cnt[5]_qfbk & !cnt[4];

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

cnt[5] = DFFEAS(A1L852, GLOBAL(clk), GLOBAL(rst), , , A1L95, , , VCC);


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

cnt[0]_lut_out = A1L37 & (!A1L652 # !A1L952);
cnt[0] = DFFEAS(cnt[0]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );


--A1L952 is reduce_nor~1052 at LC_X11_Y8_N6
--operation mode is normal

cnt[1]_qfbk = cnt[1];
A1L952 = !cnt[0] & A1L852 & !cnt[1]_qfbk & A1L752;

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

cnt[1] = DFFEAS(A1L952, GLOBAL(clk), GLOBAL(rst), , , A1L07, , , VCC);


--A1L062 is reduce_nor~1053 at LC_X9_Y8_N9
--operation mode is normal

A1L062 = A1L952 & A1L652;


--A1L162 is reduce_nor~1054 at LC_X9_Y8_N8
--operation mode is normal

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


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

A1L2 = A1L162 & A1L652 & A1L952;


--A1L271 is dataout_buf[1][3]~1407 at LC_X11_Y6_N4
--operation mode is normal

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


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

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

--A1L011 is cnt_scan[0]~225 at LC_X7_Y7_N2
--operation mode is arithmetic

A1L011_cout_0 = cnt_scan[0];
A1L011 = CARRY(A1L011_cout_0);

--A1L111 is cnt_scan[0]~225COUT1_302 at LC_X7_Y7_N2
--operation mode is arithmetic

A1L111_cout_1 = cnt_scan[0];
A1L111 = CARRY(A1L111_cout_1);


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

cnt_scan[1]_lut_out = cnt_scan[1] $ (A1L011);
cnt_scan[1] = DFFEAS(cnt_scan[1]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L311 is cnt_scan[1]~229 at LC_X7_Y7_N3
--operation mode is arithmetic

A1L311_cout_0 = !A1L011 # !cnt_scan[1];
A1L311 = CARRY(A1L311_cout_0);

--A1L411 is cnt_scan[1]~229COUT1_304 at LC_X7_Y7_N3
--operation mode is arithmetic

A1L411_cout_1 = !A1L111 # !cnt_scan[1];
A1L411 = CARRY(A1L411_cout_1);


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

cnt_scan[2]_lut_out = cnt_scan[2] $ (!A1L311);
cnt_scan[2] = DFFEAS(cnt_scan[2]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L611 is cnt_scan[2]~233 at LC_X7_Y7_N4
--operation mode is arithmetic

A1L611 = CARRY(cnt_scan[2] & (!A1L411));


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

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

--A1L811 is cnt_scan[3]~237 at LC_X7_Y7_N5
--operation mode is arithmetic

A1L811_cout_0 = !A1L611 # !cnt_scan[3];
A1L811 = CARRY(A1L811_cout_0);

--A1L911 is cnt_scan[3]~237COUT1_306 at LC_X7_Y7_N5
--operation mode is arithmetic

A1L911_cout_1 = !A1L611 # !cnt_scan[3];
A1L911 = CARRY(A1L911_cout_1);


--A1L262 is reduce_nor~1055 at LC_X7_Y7_N1
--operation mode is normal

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


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

cnt_scan[4]_carry_eqn = (!A1L611 & A1L811) # (A1L611 & A1L911);
cnt_scan[4]_lut_out = cnt_scan[4] $ (!cnt_scan[4]_carry_eqn);
cnt_scan[4] = DFFEAS(cnt_scan[4]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L121 is cnt_scan[4]~241 at LC_X7_Y7_N6
--operation mode is arithmetic

A1L121_cout_0 = cnt_scan[4] & (!A1L811);
A1L121 = CARRY(A1L121_cout_0);

--A1L221 is cnt_scan[4]~241COUT1_308 at LC_X7_Y7_N6
--operation mode is arithmetic

A1L221_cout_1 = cnt_scan[4] & (!A1L911);
A1L221 = CARRY(A1L221_cout_1);


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

cnt_scan[5]_carry_eqn = (!A1L611 & A1L121) # (A1L611 & A1L221);
cnt_scan[5]_lut_out = cnt_scan[5] $ cnt_scan[5]_carry_eqn;
cnt_scan[5] = DFFEAS(cnt_scan[5]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L421 is cnt_scan[5]~245 at LC_X7_Y7_N7
--operation mode is arithmetic

A1L421_cout_0 = !A1L121 # !cnt_scan[5];
A1L421 = CARRY(A1L421_cout_0);

--A1L521 is cnt_scan[5]~245COUT1_310 at LC_X7_Y7_N7
--operation mode is arithmetic

A1L521_cout_1 = !A1L221 # !cnt_scan[5];
A1L521 = CARRY(A1L521_cout_1);


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

cnt_scan[6]_carry_eqn = (!A1L611 & A1L421) # (A1L611 & A1L521);
cnt_scan[6]_lut_out = cnt_scan[6] $ (!cnt_scan[6]_carry_eqn);
cnt_scan[6] = DFFEAS(cnt_scan[6]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L721 is cnt_scan[6]~249 at LC_X7_Y7_N8
--operation mode is arithmetic

A1L721_cout_0 = cnt_scan[6] & (!A1L421);
A1L721 = CARRY(A1L721_cout_0);

--A1L821 is cnt_scan[6]~249COUT1_312 at LC_X7_Y7_N8
--operation mode is arithmetic

A1L821_cout_1 = cnt_scan[6] & (!A1L521);
A1L821 = CARRY(A1L821_cout_1);


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

cnt_scan[7]_carry_eqn = (!A1L611 & A1L721) # (A1L611 & A1L821);
cnt_scan[7]_lut_out = cnt_scan[7] $ cnt_scan[7]_carry_eqn;
cnt_scan[7] = DFFEAS(cnt_scan[7]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L031 is cnt_scan[7]~253 at LC_X7_Y7_N9
--operation mode is arithmetic

A1L031 = CARRY(!A1L821 # !cnt_scan[7]);


--A1L362 is reduce_nor~1056 at LC_X7_Y7_N0
--operation mode is normal

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


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

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

--A1L231 is cnt_scan[8]~257 at LC_X8_Y7_N0
--operation mode is arithmetic

A1L231_cout_0 = cnt_scan[8] & !A1L031;
A1L231 = CARRY(A1L231_cout_0);

--A1L331 is cnt_scan[8]~257COUT1_314 at LC_X8_Y7_N0
--operation mode is arithmetic

A1L331_cout_1 = cnt_scan[8] & !A1L031;
A1L331 = CARRY(A1L331_cout_1);


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

cnt_scan[9]_carry_eqn = (!A1L031 & A1L231) # (A1L031 & A1L331);
cnt_scan[9]_lut_out = cnt_scan[9] $ cnt_scan[9]_carry_eqn;
cnt_scan[9] = DFFEAS(cnt_scan[9]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L531 is cnt_scan[9]~261 at LC_X8_Y7_N1
--operation mode is arithmetic

A1L531_cout_0 = !A1L231 # !cnt_scan[9];
A1L531 = CARRY(A1L531_cout_0);

--A1L631 is cnt_scan[9]~261COUT1_316 at LC_X8_Y7_N1
--operation mode is arithmetic

A1L631_cout_1 = !A1L331 # !cnt_scan[9];
A1L631 = CARRY(A1L631_cout_1);


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

cnt_scan[10]_carry_eqn = (!A1L031 & A1L531) # (A1L031 & A1L631);
cnt_scan[10]_lut_out = cnt_scan[10] $ !cnt_scan[10]_carry_eqn;
cnt_scan[10] = DFFEAS(cnt_scan[10]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L831 is cnt_scan[10]~265 at LC_X8_Y7_N2
--operation mode is arithmetic

A1L831_cout_0 = cnt_scan[10] & !A1L531;
A1L831 = CARRY(A1L831_cout_0);

--A1L931 is cnt_scan[10]~265COUT1_318 at LC_X8_Y7_N2
--operation mode is arithmetic

A1L931_cout_1 = cnt_scan[10] & !A1L631;
A1L931 = CARRY(A1L931_cout_1);


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

cnt_scan[11]_carry_eqn = (!A1L031 & A1L831) # (A1L031 & A1L931);
cnt_scan[11]_lut_out = cnt_scan[11] $ (cnt_scan[11]_carry_eqn);
cnt_scan[11] = DFFEAS(cnt_scan[11]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L141 is cnt_scan[11]~269 at LC_X8_Y7_N3
--operation mode is arithmetic

A1L141_cout_0 = !A1L831 # !cnt_scan[11];
A1L141 = CARRY(A1L141_cout_0);

--A1L241 is cnt_scan[11]~269COUT1_320 at LC_X8_Y7_N3
--operation mode is arithmetic

A1L241_cout_1 = !A1L931 # !cnt_scan[11];
A1L241 = CARRY(A1L241_cout_1);


--A1L462 is reduce_nor~1057 at LC_X8_Y7_N8
--operation mode is normal

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


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

cnt_scan[12]_carry_eqn = (!A1L031 & A1L141) # (A1L031 & A1L241);
cnt_scan[12]_lut_out = cnt_scan[12] $ (!cnt_scan[12]_carry_eqn);
cnt_scan[12] = DFFEAS(cnt_scan[12]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L441 is cnt_scan[12]~273 at LC_X8_Y7_N4
--operation mode is arithmetic

A1L441 = CARRY(cnt_scan[12] & (!A1L241));


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

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

--A1L641 is cnt_scan[13]~277 at LC_X8_Y7_N5
--operation mode is arithmetic

A1L641_cout_0 = !A1L441 # !cnt_scan[13];
A1L641 = CARRY(A1L641_cout_0);

--A1L741 is cnt_scan[13]~277COUT1_322 at LC_X8_Y7_N5
--operation mode is arithmetic

A1L741_cout_1 = !A1L441 # !cnt_scan[13];
A1L741 = CARRY(A1L741_cout_1);


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

cnt_scan[14]_carry_eqn = (!A1L441 & A1L641) # (A1L441 & A1L741);
cnt_scan[14]_lut_out = cnt_scan[14] $ (!cnt_scan[14]_carry_eqn);
cnt_scan[14] = DFFEAS(cnt_scan[14]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );

--A1L941 is cnt_scan[14]~281 at LC_X8_Y7_N6
--operation mode is arithmetic

A1L941_cout_0 = cnt_scan[14] & (!A1L641);
A1L941 = CARRY(A1L941_cout_0);

--A1L051 is cnt_scan[14]~281COUT1_324 at LC_X8_Y7_N6
--operation mode is arithmetic

A1L051_cout_1 = cnt_scan[14] & (!A1L741);
A1L051 = CARRY(A1L051_cout_1);


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

cnt_scan[15]_carry_eqn = (!A1L441 & A1L941) # (A1L441 & A1L051);
cnt_scan[15]_lut_out = cnt_scan[15] $ cnt_scan[15]_carry_eqn;
cnt_scan[15] = DFFEAS(cnt_scan[15]_lut_out, GLOBAL(clk), GLOBAL(rst), , , , , , );


--A1L562 is reduce_nor~1058 at LC_X8_Y7_N9
--operation mode is normal

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


--A1L662 is reduce_nor~1059 at LC_X9_Y7_N5
--operation mode is normal

A1L662 = !A1L362 & !A1L462 & !A1L562 & !A1L262;


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

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


--A1L87 is cal~153 at LC_X11_Y5_N5
--operation mode is normal

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


--A1L391 is dataout_buf[6][3]~1408 at LC_X11_Y6_N8
--operation mode is normal

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


--A1L491 is dataout_buf[6][3]~1409 at LC_X11_Y8_N0
--operation mode is normal

A1L491 = dataout_buf[1][2] & dataout_buf[1][0] & A1L162 & A1L391;


--A1L971 is dataout_buf[3][3]~1411 at LC_X11_Y8_N1
--operation mode is normal

A1L971 = A1L491 & A1L952 & A1L652;


--A1L97 is cal~154 at LC_X12_Y6_N4
--operation mode is normal

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


--A1L591 is dataout_buf[6][3]~1412 at LC_X12_Y8_N7
--operation mode is normal

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


--A1L77 is cal~3 at LC_X12_Y6_N2
--operation mode is normal

A1L77 = !A1L591 # !A1L491 # !A1L97 # !A1L87;


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

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


--A1L691 is dataout_buf[6][3]~1414 at LC_X12_Y6_N8
--operation mode is normal

A1L691 = A1L591 & (A1L87 & A1L971);


--A1L581 is dataout_buf[4][3]~1415 at LC_X12_Y8_N8
--operation mode is normal

A1L581 = A1L652 & A1L87 & A1L952 & A1L491;


--A1L681 is dataout_buf[4][3]~1416 at LC_X12_Y8_N4
--operation mode is normal

A1L681 = dataout_buf[4][1] & dataout_buf[4][0] & dataout_buf[4][2] & A1L581;


--A1L402 is dataout_buf[7][3]~1417 at LC_X11_Y8_N9
--operation mode is normal

A1L402 = A1L591 & A1L87 & A1L97 & A1L971;


--A1L502 is dataout_buf[7][3]~1418 at LC_X11_Y8_N2
--operation mode is normal

A1L502 = dataout_buf[7][2] & !dataout_buf[7][0] & dataout_buf[7][1] & A1L402;


--A1L002 is dataout_buf[7][1]~1423 at LC_X12_Y8_N3
--operation mode is normal

A1L002 = A1L97 & !dataout_buf[7][0] & A1L591 & A1L581;


--A1L67 is cal~2 at LC_X12_Y8_N5
--operation mode is normal

A1L67 = !A1L491 # !A1L87 # !A1L591;


--A1L561 is dataout_buf[0][2]~1426 at LC_X9_Y8_N2
--operation mode is normal

A1L561 = dataout_buf[0][1] & A1L952 & dataout_buf[0][0] & A1L652;


--A1L191 is dataout_buf[6][2]~1427 at LC_X12_Y6_N0
--operation mode is normal

A1L191 = A1L591 & !dataout_buf[6][1] & dataout_buf[6][0] & A1L581;


--A1L771 is dataout_buf[3][2]~1428 at LC_X11_Y5_N3
--operation mode is normal

A1L771 = dataout_buf[3][0] & dataout_buf[3][1] & A1L971;