pwm_led.map.eqn

一个霹雳灯的Verilog源程序

--B8L41 is led:led_7|LRC[2]~212
B8L41 = CARRY(B8_up & (!B8L11 # !B8_LRC[2]) # !B8_up & !B8_LRC[2] & !B8L11);


--B8L61 is led:led_7|LRC[3]~213
B8L61 = (B8_up $ B8_LRC[3] $ B8L41) # GND;

--B8L71 is led:led_7|LRC[3]~214
B8L71 = CARRY(B8_up & B8_LRC[3] & !B8L41 # !B8_up & (B8_LRC[3] # !B8L41));


--B8L91 is led:led_7|LRC[4]~215
B8L91 = B8_up & (B8_LRC[4] & !B8L71 # !B8_LRC[4] & (B8L71 # GND)) # !B8_up & (B8_LRC[4] & B8L71 & VCC # !B8_LRC[4] & !B8L71);

--B8L02 is led:led_7|LRC[4]~216
B8L02 = CARRY(B8_up & (!B8L71 # !B8_LRC[4]) # !B8_up & !B8_LRC[4] & !B8L71);


--B8L22 is led:led_7|LRC[5]~217
B8L22 = B8_up $ B8_LRC[5] $ B8L02;


--B8L7 is led:led_7|LRC[0]~219
B8L7 = !B8_LRC[5] & !B8_LRC[2] & !B8_LRC[1] & !B8_LRC[4];


--B8L8 is led:led_7|LRC[0]~220
B8L8 = B8_LRC[0] # B8_LRC[3] # tick[7] # !B8L7;


--scaler[17] is scaler[17]
scaler[17] = DFFEAS(A1L89, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[16] is scaler[16]
scaler[16] = DFFEAS(A1L59, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[15] is scaler[15]
scaler[15] = DFFEAS(A1L29, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[14] is scaler[14]
scaler[14] = DFFEAS(A1L98, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[13] is scaler[13]
scaler[13] = DFFEAS(A1L68, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[12] is scaler[12]
scaler[12] = DFFEAS(A1L38, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[11] is scaler[11]
scaler[11] = DFFEAS(A1L08, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[10] is scaler[10]
scaler[10] = DFFEAS(A1L77, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[9] is scaler[9]
scaler[9] = DFFEAS(A1L47, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[8] is scaler[8]
scaler[8] = DFFEAS(A1L17, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[7] is scaler[7]
scaler[7] = DFFEAS(A1L86, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[6] is scaler[6]
scaler[6] = DFFEAS(A1L56, clk,  ,  ,  ,  ,  ,  ,  );


--A1L56 is scaler[6]~262
A1L56 = scaler[6] & (A1L36 $ GND) # !scaler[6] & !A1L36 & VCC;

--A1L66 is scaler[6]~263
A1L66 = CARRY(scaler[6] & !A1L36);


--A1L86 is scaler[7]~264
A1L86 = scaler[7] & !A1L66 # !scaler[7] & (A1L66 # GND);

--A1L96 is scaler[7]~265
A1L96 = CARRY(!A1L66 # !scaler[7]);


--A1L17 is scaler[8]~266
A1L17 = scaler[8] & (A1L96 $ GND) # !scaler[8] & !A1L96 & VCC;

--A1L27 is scaler[8]~267
A1L27 = CARRY(scaler[8] & !A1L96);


--A1L47 is scaler[9]~268
A1L47 = scaler[9] & !A1L27 # !scaler[9] & (A1L27 # GND);

--A1L57 is scaler[9]~269
A1L57 = CARRY(!A1L27 # !scaler[9]);


--A1L77 is scaler[10]~270
A1L77 = scaler[10] & (A1L57 $ GND) # !scaler[10] & !A1L57 & VCC;

--A1L87 is scaler[10]~271
A1L87 = CARRY(scaler[10] & !A1L57);


--A1L08 is scaler[11]~272
A1L08 = scaler[11] & !A1L87 # !scaler[11] & (A1L87 # GND);

--A1L18 is scaler[11]~273
A1L18 = CARRY(!A1L87 # !scaler[11]);


--A1L38 is scaler[12]~274
A1L38 = scaler[12] & (A1L18 $ GND) # !scaler[12] & !A1L18 & VCC;

--A1L48 is scaler[12]~275
A1L48 = CARRY(scaler[12] & !A1L18);


--A1L68 is scaler[13]~276
A1L68 = scaler[13] & !A1L48 # !scaler[13] & (A1L48 # GND);

--A1L78 is scaler[13]~277
A1L78 = CARRY(!A1L48 # !scaler[13]);


--A1L98 is scaler[14]~278
A1L98 = scaler[14] & (A1L78 $ GND) # !scaler[14] & !A1L78 & VCC;

--A1L09 is scaler[14]~279
A1L09 = CARRY(scaler[14] & !A1L78);


--A1L29 is scaler[15]~280
A1L29 = scaler[15] & !A1L09 # !scaler[15] & (A1L09 # GND);

--A1L39 is scaler[15]~281
A1L39 = CARRY(!A1L09 # !scaler[15]);


--A1L59 is scaler[16]~282
A1L59 = scaler[16] & (A1L39 $ GND) # !scaler[16] & !A1L39 & VCC;

--A1L69 is scaler[16]~283
A1L69 = CARRY(scaler[16] & !A1L39);


--A1L89 is scaler[17]~284
A1L89 = scaler[17] & !A1L69 # !scaler[17] & (A1L69 # GND);

--A1L99 is scaler[17]~285
A1L99 = CARRY(!A1L69 # !scaler[17]);


--A1L101 is scaler[18]~286
A1L101 = scaler[18] $ !A1L99;


--B1L52 is led:led_0|up~141
B1L52 = !B1_LRC[5] & !B1_LRC[4] & B1_LRC[2] & B1_LRC[1];


--B1L62 is led:led_0|up~142
B1L62 = B1_LRC[0] & B1L7 & !B1_up # !B1_LRC[0] & (B1_up & B1L52);


--B1L72 is led:led_0|up~143
B1L72 = !tick[0] & (B1L62 & !B1_LRC[3] # !B1L62 & (B1_up));


--lscaler[3] is lscaler[3]
lscaler[3] = DFFEAS(A1L22, scaler[18],  ,  ,  ,  ,  ,  ,  );


--lscaler[4] is lscaler[4]
lscaler[4] = DFFEAS(A1L52, scaler[18],  ,  ,  ,  ,  ,  ,  );


--lscaler[7] is lscaler[7]
lscaler[7] = DFFEAS(A1L43, scaler[18],  ,  ,  ,  ,  ,  ,  );


--lscaler[6] is lscaler[6]
lscaler[6] = DFFEAS(A1L13, scaler[18],  ,  ,  ,  ,  ,  ,  );


--A1L73 is rom_91~123
A1L73 = lscaler[3] # lscaler[4] # lscaler[7] $ lscaler[6];


--lscaler[5] is lscaler[5]
lscaler[5] = DFFEAS(A1L82, scaler[18],  ,  ,  ,  ,  ,  ,  );


--lscaler[0] is lscaler[0]
lscaler[0] = DFFEAS(A1L31, scaler[18],  ,  ,  ,  ,  ,  ,  );


--lscaler[1] is lscaler[1]
lscaler[1] = DFFEAS(A1L61, scaler[18],  ,  ,  ,  ,  ,  ,  );


--lscaler[2] is lscaler[2]
lscaler[2] = DFFEAS(A1L91, scaler[18],  ,  ,  ,  ,  ,  ,  );


--A1L63 is reduce_nor~22
A1L63 = lscaler[0] # lscaler[1] # lscaler[2];


--tick[0] is tick[0]
tick[0] = A1L63 & (tick[0]) # !A1L63 & !A1L73 & !lscaler[5];


--B2L52 is led:led_1|up~124
B2L52 = !B2_LRC[5] & !B2_LRC[4] & B2_LRC[2] & B2_LRC[1];


--B2L62 is led:led_1|up~125
B2L62 = B2_LRC[0] & B2L7 & !B2_up # !B2_LRC[0] & (B2_up & B2L52);


--B2L72 is led:led_1|up~126
B2L72 = !tick[1] & (B2L62 & !B2_LRC[3] # !B2L62 & (B2_up));


--A1L83 is rom_91~124
A1L83 = lscaler[3] & (lscaler[4] & lscaler[5] & lscaler[7] # !lscaler[4] & !lscaler[5] & !lscaler[7]);


--tick[1] is tick[1]
tick[1] = A1L63 & (tick[1]) # !A1L63 & A1L83 & !lscaler[6];


--B3L52 is led:led_2|up~124
B3L52 = !B3_LRC[5] & !B3_LRC[4] & B3_LRC[2] & B3_LRC[1];


--B3L62 is led:led_2|up~125
B3L62 = B3_LRC[0] & B3L7 & !B3_up # !B3_LRC[0] & (B3_up & B3L52);


--B3L72 is led:led_2|up~126
B3L72 = !tick[2] & (B3L62 & !B3_LRC[3] # !B3L62 & (B3_up));


--A1L93 is rom_91~125
A1L93 = !lscaler[3] & lscaler[4] & (lscaler[5] $ !lscaler[7]);


--tick[2] is tick[2]
tick[2] = A1L63 & (tick[2]) # !A1L63 & A1L93 & !lscaler[6];


--B4L52 is led:led_3|up~124
B4L52 = !B4_LRC[5] & !B4_LRC[4] & B4_LRC[2] & B4_LRC[1];


--B4L62 is led:led_3|up~125
B4L62 = B4_LRC[0] & B4L7 & !B4_up # !B4_LRC[0] & (B4_up & B4L52);


--B4L72 is led:led_3|up~126
B4L72 = !tick[3] & (B4L62 & !B4_LRC[3] # !B4L62 & (B4_up));


--A1L04 is rom_91~126
A1L04 = lscaler[3] & (lscaler[4] & !lscaler[5] & !lscaler[7] # !lscaler[4] & lscaler[5] & lscaler[7]);


--tick[3] is tick[3]
tick[3] = A1L63 & (tick[3]) # !A1L63 & A1L04 & !lscaler[6];


--B5L52 is led:led_4|up~124
B5L52 = !B5_LRC[5] & !B5_LRC[4] & B5_LRC[2] & B5_LRC[1];


--B5L62 is led:led_4|up~125
B5L62 = B5_LRC[0] & B5L7 & !B5_up # !B5_LRC[0] & (B5_up & B5L52);


--B5L72 is led:led_4|up~126
B5L72 = !tick[4] & (B5L62 & !B5_LRC[3] # !B5L62 & (B5_up));


--A1L14 is rom_91~127
A1L14 = lscaler[5] & !lscaler[3] & !lscaler[4] & !lscaler[6];


--tick[4] is tick[4]
tick[4] = A1L63 & (tick[4]) # !A1L63 & A1L14;


--B6L52 is led:led_5|up~124
B6L52 = !B6_LRC[5] & !B6_LRC[4] & B6_LRC[2] & B6_LRC[1];


--B6L62 is led:led_5|up~125
B6L62 = B6_LRC[0] & B6L7 & !B6_up # !B6_LRC[0] & (B6_up & B6L52);


--B6L72 is led:led_5|up~126
B6L72 = !tick[5] & (B6L62 & !B6_LRC[3] # !B6L62 & (B6_up));


--A1L24 is rom_91~128
A1L24 = lscaler[3] & (lscaler[4] & !lscaler[5] & lscaler[7] # !lscaler[4] & lscaler[5] & !lscaler[7]);


--tick[5] is tick[5]
tick[5] = A1L63 & (tick[5]) # !A1L63 & A1L24 & !lscaler[6];


--B7L52 is led:led_6|up~124
B7L52 = !B7_LRC[5] & !B7_LRC[4] & B7_LRC[2] & B7_LRC[1];


--B7L62 is led:led_6|up~125
B7L62 = B7_LRC[0] & B7L91 & !B7_up # !B7_LRC[0] & (B7_up & B7L52);


--B7L72 is led:led_6|up~126
B7L72 = !tick[6] & (B7L62 & !B7_LRC[3] # !B7L62 & (B7_up));


--A1L34 is rom_91~129
A1L34 = !lscaler[3] & lscaler[4] & (lscaler[5] $ lscaler[7]);


--tick[6] is tick[6]
tick[6] = A1L63 & (tick[6]) # !A1L63 & A1L34 & !lscaler[6];


--B8L52 is led:led_7|up~124
B8L52 = !B8_LRC[5] & !B8_LRC[4] & B8_LRC[2] & B8_LRC[1];


--B8L62 is led:led_7|up~125
B8L62 = B8_LRC[0] & B8L7 & !B8_up # !B8_LRC[0] & (B8_up & B8L52);


--B8L72 is led:led_7|up~126
B8L72 = !tick[7] & (B8L62 & !B8_LRC[3] # !B8L62 & (B8_up));


--A1L44 is rom_91~130
A1L44 = lscaler[3] & (lscaler[4] & lscaler[5] & !lscaler[7] # !lscaler[4] & !lscaler[5] & lscaler[7]);


--tick[7] is tick[7]
tick[7] = A1L63 & (tick[7]) # !A1L63 & A1L44 & !lscaler[6];


--A1L31 is lscaler[0]~85
A1L31 = lscaler[0] $ VCC;

--A1L41 is lscaler[0]~86
A1L41 = CARRY(lscaler[0]);


--A1L61 is lscaler[1]~87
A1L61 = lscaler[1] & !A1L41 # !lscaler[1] & (A1L41 # GND);

--A1L71 is lscaler[1]~88
A1L71 = CARRY(!A1L41 # !lscaler[1]);


--A1L91 is lscaler[2]~89
A1L91 = lscaler[2] & (A1L71 $ GND) # !lscaler[2] & !A1L71 & VCC;

--A1L02 is lscaler[2]~90
A1L02 = CARRY(lscaler[2] & !A1L71);


--A1L22 is lscaler[3]~91
A1L22 = lscaler[3] & !A1L02 # !lscaler[3] & (A1L02 # GND);

--A1L32 is lscaler[3]~92
A1L32 = CARRY(!A1L02 # !lscaler[3]);


--A1L52 is lscaler[4]~93
A1L52 = lscaler[4] & (A1L32 $ GND) # !lscaler[4] & !A1L32 & VCC;

--A1L62 is lscaler[4]~94
A1L62 = CARRY(lscaler[4] & !A1L32);


--A1L82 is lscaler[5]~95
A1L82 = lscaler[5] & !A1L62 # !lscaler[5] & (A1L62 # GND);

--A1L92 is lscaler[5]~96
A1L92 = CARRY(!A1L62 # !lscaler[5]);


--A1L13 is lscaler[6]~97
A1L13 = lscaler[6] & (A1L92 $ GND) # !lscaler[6] & !A1L92 & VCC;

--A1L23 is lscaler[6]~98
A1L23 = CARRY(lscaler[6] & !A1L92);


--A1L43 is lscaler[7]~99
A1L43 = lscaler[7] $ A1L23;


--clk is clk
--operation mode is input

clk = INPUT();


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

led[0] = OUTPUT(C1_pwm_out);


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

led[1] = OUTPUT(C2_pwm_out);


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

led[2] = OUTPUT(C3_pwm_out);


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

led[3] = OUTPUT(C4_pwm_out);


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

led[4] = OUTPUT(C5_pwm_out);


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

led[5] = OUTPUT(C6_pwm_out);


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

led[6] = OUTPUT(C7_pwm_out);


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

led[7] = OUTPUT(C8_pwm_out);