cnt_24.map.eqn

这是我在学习过程中编的数字钟的原程序,含各种时钟模块,以及计数器,累加器等,可以直接下载,已经编译通过!

--operation mode is normal

B1L84 = B1_ql[3] & (B1_ql[1] $ B1_ql[2] # !B1_ql[0]) # !B1_ql[3] & B1_ql[1] & B1_ql[2] & B1_ql[0];

--B1L15 is cnt60a:u1|ql~271
--operation mode is normal

B1L15 = B1_ql[3] & (B1_ql[1] $ B1_ql[2] # !B1_ql[0]) # !B1_ql[3] & B1_ql[1] & B1_ql[2] & B1_ql[0];


--B1L94 is cnt60a:u1|ql~260
--operation mode is normal

B1L94 = en & (!B1L35 & !B1L45) # !en & s_set;

--B1L25 is cnt60a:u1|ql~272
--operation mode is normal

B1L25 = en & (!B1L35 & !B1L45) # !en & s_set;


--B1L43 is cnt60a:u1|qh~252
--operation mode is normal

B1L43 = en & (B1L35 # B1L45);

--B1L63 is cnt60a:u1|qh~263
--operation mode is normal

B1L63 = en & (B1L35 # B1L45);


--B1L53 is cnt60a:u1|qh~253
--operation mode is normal

B1L53 = !B1L43 & (en & !B1L55 # !en & (ts_set));

--B1L73 is cnt60a:u1|qh~264
--operation mode is normal

B1L73 = !B1L43 & (en & !B1L55 # !en & (ts_set));


--B1L65 is cnt60a:u1|reduce_nor~100
--operation mode is normal

B1L65 = B1_qh[1] # B1_qh[3] # !B1_qh[2] # !B1_qh[0];

--B1L06 is cnt60a:u1|reduce_nor~104
--operation mode is normal

B1L06 = B1_qh[1] # B1_qh[3] # !B1_qh[2] # !B1_qh[0];


--B1L12 is cnt60a:u1|add~284
--operation mode is normal

B1L12 = B1_qh[0] & B1_qh[1];

--B1L32 is cnt60a:u1|add~286
--operation mode is normal

B1L32 = B1_qh[0] & B1_qh[1];


--B2_\p1:templ[2] is cnt60a:u2|\p1:templ[2]
--operation mode is normal

B2_\p1:templ[2]_lut_out = B2_\p1:templ[2] $ (B1_\p1:templ[0] & B2_\p1:templ[1]);
B2_\p1:templ[2] = DFFEA(B2_\p1:templ[2]_lut_out, clk, , , B1L81, , );

--B2L41Q is cnt60a:u2|\p1:templ[2]~11
--operation mode is normal

B2L41Q = B2_\p1:templ[2];


--B2_\p1:templ[1] is cnt60a:u2|\p1:templ[1]
--operation mode is normal

B2_\p1:templ[1]_lut_out = B2L94 & (B1_\p1:templ[0] $ B2_\p1:templ[1]);
B2_\p1:templ[1] = DFFEA(B2_\p1:templ[1]_lut_out, clk, , , B1L81, , );

--B2L21Q is cnt60a:u2|\p1:templ[1]~13
--operation mode is normal

B2L21Q = B2_\p1:templ[1];


--B2_\p1:templ[3] is cnt60a:u2|\p1:templ[3]
--operation mode is normal

B2_\p1:templ[3]_lut_out = B2L75;
B2_\p1:templ[3] = DFFEA(B2_\p1:templ[3]_lut_out, clk, , , B1L81, , );

--B2L61Q is cnt60a:u2|\p1:templ[3]~13
--operation mode is normal

B2L61Q = B2_\p1:templ[3];


--B2L94 is cnt60a:u2|reduce_nor~97
--operation mode is normal

B2L94 = B2_\p1:templ[2] # B2_\p1:templ[1] # !B2_\p1:templ[3] # !B1_\p1:templ[0];

--B2L35 is cnt60a:u2|reduce_nor~101
--operation mode is normal

B2L35 = B2_\p1:templ[2] # B2_\p1:templ[1] # !B2_\p1:templ[3] # !B1_\p1:templ[0];


--B2_\p1:temph[3] is cnt60a:u2|\p1:temph[3]
--operation mode is normal

B2_\p1:temph[3]_lut_out = B2_\p1:temph[3] $ (B2_\p1:temph[2] & B2L81);
B2_\p1:temph[3] = DFFEA(B2_\p1:temph[3]_lut_out, clk, , , B2L8, , );

--B2L9Q is cnt60a:u2|\p1:temph[3]~24
--operation mode is normal

B2L9Q = B2_\p1:temph[3];


--B2_\p1:temph[1] is cnt60a:u2|\p1:temph[1]
--operation mode is normal

B2_\p1:temph[1]_lut_out = B2L05 & (B2_\p1:temph[1] $ B2_\p1:temph[0]);
B2_\p1:temph[1] = DFFEA(B2_\p1:temph[1]_lut_out, clk, , , B2L8, , );

--B2L4Q is cnt60a:u2|\p1:temph[1]~13
--operation mode is normal

B2L4Q = B2_\p1:temph[1];


--B2_\p1:temph[2] is cnt60a:u2|\p1:temph[2]
--operation mode is normal

B2_\p1:temph[2]_lut_out = B2L05 & (B2_\p1:temph[2] $ B2L81);
B2_\p1:temph[2] = DFFEA(B2_\p1:temph[2]_lut_out, clk, , , B2L8, , );

--B2L6Q is cnt60a:u2|\p1:temph[2]~15
--operation mode is normal

B2L6Q = B2_\p1:temph[2];


--B2_\p1:temph[0] is cnt60a:u2|\p1:temph[0]
--operation mode is normal

B2_\p1:temph[0]_lut_out = !B2_\p1:temph[0];
B2_\p1:temph[0] = DFFEA(B2_\p1:temph[0]_lut_out, clk, , , B2L8, , );

--B2L2Q is cnt60a:u2|\p1:temph[0]~9
--operation mode is normal

B2L2Q = B2_\p1:temph[0];


--B2L05 is cnt60a:u2|reduce_nor~98
--operation mode is normal

B2L05 = B2_\p1:temph[3] # B2_\p1:temph[1] # !B2_\p1:temph[0] # !B2_\p1:temph[2];

--B2L45 is cnt60a:u2|reduce_nor~102
--operation mode is normal

B2L45 = B2_\p1:temph[3] # B2_\p1:temph[1] # !B2_\p1:temph[0] # !B2_\p1:temph[2];


--B2L34 is cnt60a:u2|ql~258
--operation mode is normal

B2L34 = en & !B2L94 & !B2L05 # !en & (m_set);

--B2L64 is cnt60a:u2|ql~270
--operation mode is normal

B2L64 = en & !B2L94 & !B2L05 # !en & (m_set);


--B2L15 is cnt60a:u2|reduce_nor~99
--operation mode is normal

B2L15 = B2_ql[1] # B2_ql[2] # !B2_ql[3] # !B2_ql[0];

--B2L55 is cnt60a:u2|reduce_nor~103
--operation mode is normal

B2L55 = B2_ql[1] # B2_ql[2] # !B2_ql[3] # !B2_ql[0];


--B2L44 is cnt60a:u2|ql~259
--operation mode is normal

B2L44 = B2_ql[3] & (B2_ql[1] $ B2_ql[2] # !B2_ql[0]) # !B2_ql[3] & B2_ql[1] & B2_ql[2] & B2_ql[0];

--B2L74 is cnt60a:u2|ql~271
--operation mode is normal

B2L74 = B2_ql[3] & (B2_ql[1] $ B2_ql[2] # !B2_ql[0]) # !B2_ql[3] & B2_ql[1] & B2_ql[2] & B2_ql[0];


--B2L54 is cnt60a:u2|ql~260
--operation mode is normal

B2L54 = en & (!B2L94 & !B2L05) # !en & m_set;

--B2L84 is cnt60a:u2|ql~272
--operation mode is normal

B2L84 = en & (!B2L94 & !B2L05) # !en & m_set;


--B2L03 is cnt60a:u2|qh~252
--operation mode is normal

B2L03 = en & (B2L94 # B2L05);

--B2L23 is cnt60a:u2|qh~263
--operation mode is normal

B2L23 = en & (B2L94 # B2L05);


--B2L13 is cnt60a:u2|qh~253
--operation mode is normal

B2L13 = !B2L03 & (en & !B2L15 # !en & (tm_set));

--B2L33 is cnt60a:u2|qh~264
--operation mode is normal

B2L33 = !B2L03 & (en & !B2L15 # !en & (tm_set));


--B2L25 is cnt60a:u2|reduce_nor~100
--operation mode is normal

B2L25 = B2_qh[1] # B2_qh[3] # !B2_qh[2] # !B2_qh[0];

--B2L65 is cnt60a:u2|reduce_nor~104
--operation mode is normal

B2L65 = B2_qh[1] # B2_qh[3] # !B2_qh[2] # !B2_qh[0];


--B2L71 is cnt60a:u2|add~284
--operation mode is normal

B2L71 = B2_qh[0] & B2_qh[1];

--B2L91 is cnt60a:u2|add~286
--operation mode is normal

B2L91 = B2_qh[0] & B2_qh[1];


--A1L63 is rtl~311
--operation mode is normal

A1L63 = C1L6 & en & C1L7;

--A1L04 is rtl~315
--operation mode is normal

A1L04 = C1L6 & en & C1L7;


--A1L73 is rtl~312
--operation mode is normal

A1L73 = C1L6 & (!en);

--A1L14 is rtl~316
--operation mode is normal

A1L14 = C1L6 & (!en);


--A1L83 is rtl~313
--operation mode is normal

A1L83 = C1L7 # !C1L6 & (J1L9 # !en);

--A1L24 is rtl~317
--operation mode is normal

A1L24 = C1L7 # !C1L6 & (J1L9 # !en);


--A1L93 is rtl~314
--operation mode is normal

A1L93 = en & C1L5 & A1L83 # !en & (th_set);

--A1L34 is rtl~318
--operation mode is normal

A1L34 = en & C1L5 & A1L83 # !en & (th_set);


--C1L1 is cnt_24:u3|add~73
--operation mode is normal

C1L1 = C1_temph[0] $ C1_temph[1];

--C1L3 is cnt_24:u3|add~75
--operation mode is normal

C1L3 = C1_temph[0] $ C1_temph[1];


--C1L501 is cnt_24:u3|temph~227
--operation mode is normal

C1L501 = en & C1L5 & C1L7 # !en & (th_set);

--C1L601 is cnt_24:u3|temph~232
--operation mode is normal

C1L601 = en & C1L5 & C1L7 # !en & (th_set);


--C1L2 is cnt_24:u3|add~74
--operation mode is normal

C1L2 = C1_temph[0] & C1_temph[1];

--C1L4 is cnt_24:u3|add~76
--operation mode is normal

C1L4 = C1_temph[0] & C1_temph[1];


--C1_temp[27] is cnt_24:u3|temp[27]
--operation mode is normal

C1_temp[27]_lut_out = H3_cs_buffer[27];
C1_temp[27] = DFFEA(C1_temp[27]_lut_out, clk, , , B1L81, , );

--C1L78Q is cnt_24:u3|temp[27]~179
--operation mode is normal

C1L78Q = C1_temp[27];


--C1_temp[26] is cnt_24:u3|temp[26]
--operation mode is normal

C1_temp[26]_lut_out = H3_cs_buffer[26];
C1_temp[26] = DFFEA(C1_temp[26]_lut_out, clk, , , B1L81, , );

--C1L58Q is cnt_24:u3|temp[26]~180
--operation mode is normal

C1L58Q = C1_temp[26];


--C1_temp[25] is cnt_24:u3|temp[25]
--operation mode is normal

C1_temp[25]_lut_out = H3_cs_buffer[25];
C1_temp[25] = DFFEA(C1_temp[25]_lut_out, clk, , , B1L81, , );

--C1L38Q is cnt_24:u3|temp[25]~181
--operation mode is normal

C1L38Q = C1_temp[25];


--C1_temp[24] is cnt_24:u3|temp[24]
--operation mode is normal

C1_temp[24]_lut_out = H3_cs_buffer[24];
C1_temp[24] = DFFEA(C1_temp[24]_lut_out, clk, , , B1L81, , );

--C1L18Q is cnt_24:u3|temp[24]~182
--operation mode is normal

C1L18Q = C1_temp[24];


--C1L8 is cnt_24:u3|reduce_nor~388
--operation mode is normal

C1L8 = !C1_temp[27] & !C1_temp[26] & !C1_temp[25] & !C1_temp[24];

--C1L91 is cnt_24:u3|reduce_nor~407
--operation mode is normal

C1L91 = !C1_temp[27] & !C1_temp[26] & !C1_temp[25] & !C1_temp[24];

--C1L02 is cnt_24:u3|reduce_nor~408
--operation mode is normal

C1L02 = !C1_temp[27] & !C1_temp[26] & !C1_temp[25] & !C1_temp[24];


--C1_temp[31] is cnt_24:u3|temp[31]
--operation mode is normal

C1_temp[31]_lut_out = F1_unreg_res_node[31];
C1_temp[31] = DFFEA(C1_temp[31]_lut_out, clk, , , B1L81, , );

--C1L59Q is cnt_24:u3|temp[31]~183
--operation mode is normal

C1L59Q = C1_temp[31];


--C1_temp[30] is cnt_24:u3|temp[30]
--operation mode is normal

C1_temp[30]_lut_out = H3_cs_buffer[30];
C1_temp[30] = DFFEA(C1_temp[30]_lut_out, clk, , , B1L81, , );

--C1L39Q is cnt_24:u3|temp[30]~184
--operation mode is normal

C1L39Q = C1_temp[30];


--C1_temp[29] is cnt_24:u3|temp[29]
--operation mode is normal

C1_temp[29]_lut_out = H3_cs_buffer[29];
C1_temp[29] = DFFEA(C1_temp[29]_lut_out, clk, , , B1L81, , );

--C1L19Q is cnt_24:u3|temp[29]~185
--operation mode is normal

C1L19Q = C1_temp[29];


--C1_temp[28] is cnt_24:u3|temp[28]
--operation mode is normal

C1_temp[28]_lut_out = H3_cs_buffer[28];
C1_temp[28] = DFFEA(C1_temp[28]_lut_out, clk, , , B1L81, , );

--C1L98Q is cnt_24:u3|temp[28]~186
--operation mode is normal

C1L98Q = C1_temp[28];


--C1L21 is cnt_24:u3|reduce_nor~396
--operation mode is normal

C1L21 = (!C1_temp[31] & !C1_temp[30] & !C1_temp[29] & !C1_temp[28]) & CASCADE(C1L02);

--C1L12 is cnt_24:u3|reduce_nor~409
--operation mode is normal

C1L12 = (!C1_temp[31] & !C1_temp[30] & !C1_temp[29] & !C1_temp[28]) & CASCADE(C1L02);


--C1_temp[19] is cnt_24:u3|temp[19]
--operation mode is normal

C1_temp[19]_lut_out = H3_cs_buffer[19];
C1_temp[19] = DFFEA(C1_temp[19]_lut_out, clk, , , B1L81, , );

--C1L17Q is cnt_24:u3|temp[19]~187
--operation mode is normal

C1L17Q = C1_temp[19];


--C1_temp[18] is cnt_24:u3|temp[18]
--operation mode is normal

C1_temp[18]_lut_out = H3_cs_buffer[18];
C1_temp[18] = DFFEA(C1_temp[18]_lut_out, clk, , , B1L81, , );

--C1L96Q is cnt_24:u3|temp[18]~188
--operation mode is normal

C1L96Q = C1_temp[18];


--C1_temp[17] is cnt_24:u3|temp[17]
--operation mode is normal

C1_temp[17]_lut_out = H3_cs_buffer[17];
C1_temp[17] = DFFEA(C1_temp[17]_lut_out, clk, , , B1L81, , );

--C1L76Q is cnt_24:u3|temp[17]~189
--operation mode is normal

C1L76Q = C1_temp[17];


--C1_temp[16] is cnt_24:u3|temp[16]
--operation mode is normal

C1_temp[16]_lut_out = H3_cs_buffer[16];
C1_temp[16] = DFFEA(C1_temp[16]_lut_out, clk, , , B1L81, , );

--C1L56Q is cnt_24:u3|temp[16]~190
--operation mode is normal

C1L56Q = C1_temp[16];


--C1L9 is cnt_24:u3|reduce_nor~390
--operation mode is normal

C1L9 = !C1_temp[19] & !C1_temp[18] & !C1_temp[17] & !C1_temp[16];

--C1L22 is cnt_24:u3|reduce_nor~410
--operation mode is normal

C1L22 = !C1_temp[19] & !C1_temp[18] & !C1_temp[17] & !C1_temp[16];

--C1L32 is cnt_24:u3|reduce_nor~411
--operation mode is normal

C1L32 = !C1_temp[19] & !C1_temp[18] & !C1_temp[17] & !C1_temp[16];


--C1_temp[23] is cnt_24:u3|temp[23]
--operation mode is normal

C1_temp[23]_lut_out = H3_cs_buffer[23];
C1_temp[23] = DFFEA(C1_temp[23]_lut_out, clk, , , B1L81, , );

--C1L97Q is cnt_24:u3|temp[23]~191
--operation mode is normal

C1L97Q = C1_temp[23];