pwm_led.map.eqn

一个霹雳灯的Verilog源程序

--B1_up is led:led_0|up
B1_up = DFFEAS(B1L72, scaler[18],  ,  ,  ,  ,  ,  ,  );


--B1L4 is led:led_0|LRC[0]~206
B1L4 = CARRY(!B1_up);


--B1L5 is led:led_0|LRC[0]~207
B1L5 = B1_up & (B1_LRC[0] & B1L4 & VCC # !B1_LRC[0] & !B1L4) # !B1_up & (B1_LRC[0] & !B1L4 # !B1_LRC[0] & (B1L4 # GND));

--B1L6 is led:led_0|LRC[0]~208
B1L6 = CARRY(B1_up & !B1_LRC[0] & !B1L4 # !B1_up & (!B1L4 # !B1_LRC[0]));


--B1L01 is led:led_0|LRC[1]~209
B1L01 = (B1_up $ B1_LRC[1] $ B1L6) # GND;

--B1L11 is led:led_0|LRC[1]~210
B1L11 = CARRY(B1_up & B1_LRC[1] & !B1L6 # !B1_up & (B1_LRC[1] # !B1L6));


--B1L31 is led:led_0|LRC[2]~211
B1L31 = B1_up & (B1_LRC[2] & !B1L11 # !B1_LRC[2] & (B1L11 # GND)) # !B1_up & (B1_LRC[2] & B1L11 & VCC # !B1_LRC[2] & !B1L11);

--B1L41 is led:led_0|LRC[2]~212
B1L41 = CARRY(B1_up & (!B1L11 # !B1_LRC[2]) # !B1_up & !B1_LRC[2] & !B1L11);


--B1L61 is led:led_0|LRC[3]~213
B1L61 = (B1_up $ B1_LRC[3] $ B1L41) # GND;

--B1L71 is led:led_0|LRC[3]~214
B1L71 = CARRY(B1_up & B1_LRC[3] & !B1L41 # !B1_up & (B1_LRC[3] # !B1L41));


--B1L91 is led:led_0|LRC[4]~215
B1L91 = B1_up & (B1_LRC[4] & !B1L71 # !B1_LRC[4] & (B1L71 # GND)) # !B1_up & (B1_LRC[4] & B1L71 & VCC # !B1_LRC[4] & !B1L71);

--B1L02 is led:led_0|LRC[4]~216
B1L02 = CARRY(B1_up & (!B1L71 # !B1_LRC[4]) # !B1_up & !B1_LRC[4] & !B1L71);


--B1L22 is led:led_0|LRC[5]~217
B1L22 = B1_up $ B1_LRC[5] $ B1L02;


--B1L7 is led:led_0|LRC[0]~219
B1L7 = !B1_LRC[5] & !B1_LRC[2] & !B1_LRC[1] & !B1_LRC[4];


--B1L8 is led:led_0|LRC[0]~220
B1L8 = B1_LRC[0] # B1_LRC[3] # tick[0] # !B1L7;


--scaler[4] is scaler[4]
scaler[4] = DFFEAS(A1L95, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[3] is scaler[3]
scaler[3] = DFFEAS(A1L65, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[2] is scaler[2]
scaler[2] = DFFEAS(A1L35, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[1] is scaler[1]
scaler[1] = DFFEAS(A1L05, clk,  ,  ,  ,  ,  ,  ,  );


--scaler[0] is scaler[0]
scaler[0] = DFFEAS(A1L74, clk,  ,  ,  ,  ,  ,  ,  );


--A1L74 is scaler[0]~250
A1L74 = scaler[0] $ VCC;

--A1L84 is scaler[0]~251
A1L84 = CARRY(scaler[0]);


--A1L05 is scaler[1]~252
A1L05 = scaler[1] & !A1L84 # !scaler[1] & (A1L84 # GND);

--A1L15 is scaler[1]~253
A1L15 = CARRY(!A1L84 # !scaler[1]);


--A1L35 is scaler[2]~254
A1L35 = scaler[2] & (A1L15 $ GND) # !scaler[2] & !A1L15 & VCC;

--A1L45 is scaler[2]~255
A1L45 = CARRY(scaler[2] & !A1L15);


--A1L65 is scaler[3]~256
A1L65 = scaler[3] & !A1L45 # !scaler[3] & (A1L45 # GND);

--A1L75 is scaler[3]~257
A1L75 = CARRY(!A1L45 # !scaler[3]);


--A1L95 is scaler[4]~258
A1L95 = scaler[4] & (A1L75 $ GND) # !scaler[4] & !A1L75 & VCC;

--A1L06 is scaler[4]~259
A1L06 = CARRY(scaler[4] & !A1L75);


--A1L26 is scaler[5]~260
A1L26 = scaler[5] & !A1L06 # !scaler[5] & (A1L06 # GND);

--A1L36 is scaler[5]~261
A1L36 = CARRY(!A1L06 # !scaler[5]);


--B2_up is led:led_1|up
B2_up = DFFEAS(B2L72, scaler[18],  ,  ,  ,  ,  ,  ,  );


--B2L4 is led:led_1|LRC[0]~206
B2L4 = CARRY(!B2_up);


--B2L5 is led:led_1|LRC[0]~207
B2L5 = B2_up & (B2_LRC[0] & B2L4 & VCC # !B2_LRC[0] & !B2L4) # !B2_up & (B2_LRC[0] & !B2L4 # !B2_LRC[0] & (B2L4 # GND));

--B2L6 is led:led_1|LRC[0]~208
B2L6 = CARRY(B2_up & !B2_LRC[0] & !B2L4 # !B2_up & (!B2L4 # !B2_LRC[0]));


--B2L01 is led:led_1|LRC[1]~209
B2L01 = (B2_up $ B2_LRC[1] $ B2L6) # GND;

--B2L11 is led:led_1|LRC[1]~210
B2L11 = CARRY(B2_up & B2_LRC[1] & !B2L6 # !B2_up & (B2_LRC[1] # !B2L6));


--B2L31 is led:led_1|LRC[2]~211
B2L31 = B2_up & (B2_LRC[2] & !B2L11 # !B2_LRC[2] & (B2L11 # GND)) # !B2_up & (B2_LRC[2] & B2L11 & VCC # !B2_LRC[2] & !B2L11);

--B2L41 is led:led_1|LRC[2]~212
B2L41 = CARRY(B2_up & (!B2L11 # !B2_LRC[2]) # !B2_up & !B2_LRC[2] & !B2L11);


--B2L61 is led:led_1|LRC[3]~213
B2L61 = (B2_up $ B2_LRC[3] $ B2L41) # GND;

--B2L71 is led:led_1|LRC[3]~214
B2L71 = CARRY(B2_up & B2_LRC[3] & !B2L41 # !B2_up & (B2_LRC[3] # !B2L41));


--B2L91 is led:led_1|LRC[4]~215
B2L91 = B2_up & (B2_LRC[4] & !B2L71 # !B2_LRC[4] & (B2L71 # GND)) # !B2_up & (B2_LRC[4] & B2L71 & VCC # !B2_LRC[4] & !B2L71);

--B2L02 is led:led_1|LRC[4]~216
B2L02 = CARRY(B2_up & (!B2L71 # !B2_LRC[4]) # !B2_up & !B2_LRC[4] & !B2L71);


--B2L22 is led:led_1|LRC[5]~217
B2L22 = B2_up $ B2_LRC[5] $ B2L02;


--B2L7 is led:led_1|LRC[0]~219
B2L7 = !B2_LRC[5] & !B2_LRC[2] & !B2_LRC[1] & !B2_LRC[4];


--B2L8 is led:led_1|LRC[0]~220
B2L8 = B2_LRC[0] # B2_LRC[3] # tick[1] # !B2L7;


--B3_up is led:led_2|up
B3_up = DFFEAS(B3L72, scaler[18],  ,  ,  ,  ,  ,  ,  );


--B3L4 is led:led_2|LRC[0]~206
B3L4 = CARRY(!B3_up);


--B3L5 is led:led_2|LRC[0]~207
B3L5 = B3_up & (B3_LRC[0] & B3L4 & VCC # !B3_LRC[0] & !B3L4) # !B3_up & (B3_LRC[0] & !B3L4 # !B3_LRC[0] & (B3L4 # GND));

--B3L6 is led:led_2|LRC[0]~208
B3L6 = CARRY(B3_up & !B3_LRC[0] & !B3L4 # !B3_up & (!B3L4 # !B3_LRC[0]));


--B3L01 is led:led_2|LRC[1]~209
B3L01 = (B3_up $ B3_LRC[1] $ B3L6) # GND;

--B3L11 is led:led_2|LRC[1]~210
B3L11 = CARRY(B3_up & B3_LRC[1] & !B3L6 # !B3_up & (B3_LRC[1] # !B3L6));


--B3L31 is led:led_2|LRC[2]~211
B3L31 = B3_up & (B3_LRC[2] & !B3L11 # !B3_LRC[2] & (B3L11 # GND)) # !B3_up & (B3_LRC[2] & B3L11 & VCC # !B3_LRC[2] & !B3L11);

--B3L41 is led:led_2|LRC[2]~212
B3L41 = CARRY(B3_up & (!B3L11 # !B3_LRC[2]) # !B3_up & !B3_LRC[2] & !B3L11);


--B3L61 is led:led_2|LRC[3]~213
B3L61 = (B3_up $ B3_LRC[3] $ B3L41) # GND;

--B3L71 is led:led_2|LRC[3]~214
B3L71 = CARRY(B3_up & B3_LRC[3] & !B3L41 # !B3_up & (B3_LRC[3] # !B3L41));


--B3L91 is led:led_2|LRC[4]~215
B3L91 = B3_up & (B3_LRC[4] & !B3L71 # !B3_LRC[4] & (B3L71 # GND)) # !B3_up & (B3_LRC[4] & B3L71 & VCC # !B3_LRC[4] & !B3L71);

--B3L02 is led:led_2|LRC[4]~216
B3L02 = CARRY(B3_up & (!B3L71 # !B3_LRC[4]) # !B3_up & !B3_LRC[4] & !B3L71);


--B3L22 is led:led_2|LRC[5]~217
B3L22 = B3_up $ B3_LRC[5] $ B3L02;


--B3L7 is led:led_2|LRC[0]~219
B3L7 = !B3_LRC[5] & !B3_LRC[2] & !B3_LRC[1] & !B3_LRC[4];


--B3L8 is led:led_2|LRC[0]~220
B3L8 = B3_LRC[0] # B3_LRC[3] # tick[2] # !B3L7;


--B4_up is led:led_3|up
B4_up = DFFEAS(B4L72, scaler[18],  ,  ,  ,  ,  ,  ,  );


--B4L4 is led:led_3|LRC[0]~206
B4L4 = CARRY(!B4_up);


--B4L5 is led:led_3|LRC[0]~207
B4L5 = B4_up & (B4_LRC[0] & B4L4 & VCC # !B4_LRC[0] & !B4L4) # !B4_up & (B4_LRC[0] & !B4L4 # !B4_LRC[0] & (B4L4 # GND));

--B4L6 is led:led_3|LRC[0]~208
B4L6 = CARRY(B4_up & !B4_LRC[0] & !B4L4 # !B4_up & (!B4L4 # !B4_LRC[0]));


--B4L01 is led:led_3|LRC[1]~209
B4L01 = (B4_up $ B4_LRC[1] $ B4L6) # GND;

--B4L11 is led:led_3|LRC[1]~210
B4L11 = CARRY(B4_up & B4_LRC[1] & !B4L6 # !B4_up & (B4_LRC[1] # !B4L6));


--B4L31 is led:led_3|LRC[2]~211
B4L31 = B4_up & (B4_LRC[2] & !B4L11 # !B4_LRC[2] & (B4L11 # GND)) # !B4_up & (B4_LRC[2] & B4L11 & VCC # !B4_LRC[2] & !B4L11);

--B4L41 is led:led_3|LRC[2]~212
B4L41 = CARRY(B4_up & (!B4L11 # !B4_LRC[2]) # !B4_up & !B4_LRC[2] & !B4L11);


--B4L61 is led:led_3|LRC[3]~213
B4L61 = (B4_up $ B4_LRC[3] $ B4L41) # GND;

--B4L71 is led:led_3|LRC[3]~214
B4L71 = CARRY(B4_up & B4_LRC[3] & !B4L41 # !B4_up & (B4_LRC[3] # !B4L41));


--B4L91 is led:led_3|LRC[4]~215
B4L91 = B4_up & (B4_LRC[4] & !B4L71 # !B4_LRC[4] & (B4L71 # GND)) # !B4_up & (B4_LRC[4] & B4L71 & VCC # !B4_LRC[4] & !B4L71);

--B4L02 is led:led_3|LRC[4]~216
B4L02 = CARRY(B4_up & (!B4L71 # !B4_LRC[4]) # !B4_up & !B4_LRC[4] & !B4L71);


--B4L22 is led:led_3|LRC[5]~217
B4L22 = B4_up $ B4_LRC[5] $ B4L02;


--B4L7 is led:led_3|LRC[0]~219
B4L7 = !B4_LRC[5] & !B4_LRC[2] & !B4_LRC[1] & !B4_LRC[4];


--B4L8 is led:led_3|LRC[0]~220
B4L8 = B4_LRC[0] # B4_LRC[3] # tick[3] # !B4L7;


--B5_up is led:led_4|up
B5_up = DFFEAS(B5L72, scaler[18],  ,  ,  ,  ,  ,  ,  );


--B5L4 is led:led_4|LRC[0]~206
B5L4 = CARRY(!B5_up);


--B5L5 is led:led_4|LRC[0]~207
B5L5 = B5_up & (B5_LRC[0] & B5L4 & VCC # !B5_LRC[0] & !B5L4) # !B5_up & (B5_LRC[0] & !B5L4 # !B5_LRC[0] & (B5L4 # GND));

--B5L6 is led:led_4|LRC[0]~208
B5L6 = CARRY(B5_up & !B5_LRC[0] & !B5L4 # !B5_up & (!B5L4 # !B5_LRC[0]));


--B5L01 is led:led_4|LRC[1]~209
B5L01 = (B5_up $ B5_LRC[1] $ B5L6) # GND;

--B5L11 is led:led_4|LRC[1]~210
B5L11 = CARRY(B5_up & B5_LRC[1] & !B5L6 # !B5_up & (B5_LRC[1] # !B5L6));


--B5L31 is led:led_4|LRC[2]~211
B5L31 = B5_up & (B5_LRC[2] & !B5L11 # !B5_LRC[2] & (B5L11 # GND)) # !B5_up & (B5_LRC[2] & B5L11 & VCC # !B5_LRC[2] & !B5L11);

--B5L41 is led:led_4|LRC[2]~212
B5L41 = CARRY(B5_up & (!B5L11 # !B5_LRC[2]) # !B5_up & !B5_LRC[2] & !B5L11);


--B5L61 is led:led_4|LRC[3]~213
B5L61 = (B5_up $ B5_LRC[3] $ B5L41) # GND;

--B5L71 is led:led_4|LRC[3]~214
B5L71 = CARRY(B5_up & B5_LRC[3] & !B5L41 # !B5_up & (B5_LRC[3] # !B5L41));


--B5L91 is led:led_4|LRC[4]~215
B5L91 = B5_up & (B5_LRC[4] & !B5L71 # !B5_LRC[4] & (B5L71 # GND)) # !B5_up & (B5_LRC[4] & B5L71 & VCC # !B5_LRC[4] & !B5L71);

--B5L02 is led:led_4|LRC[4]~216
B5L02 = CARRY(B5_up & (!B5L71 # !B5_LRC[4]) # !B5_up & !B5_LRC[4] & !B5L71);


--B5L22 is led:led_4|LRC[5]~217
B5L22 = B5_up $ B5_LRC[5] $ B5L02;


--B5L7 is led:led_4|LRC[0]~219
B5L7 = !B5_LRC[5] & !B5_LRC[2] & !B5_LRC[1] & !B5_LRC[4];


--B5L8 is led:led_4|LRC[0]~220
B5L8 = B5_LRC[0] # B5_LRC[3] # tick[4] # !B5L7;


--B6_up is led:led_5|up
B6_up = DFFEAS(B6L72, scaler[18],  ,  ,  ,  ,  ,  ,  );


--B6L4 is led:led_5|LRC[0]~206
B6L4 = CARRY(!B6_up);


--B6L5 is led:led_5|LRC[0]~207
B6L5 = B6_up & (B6_LRC[0] & B6L4 & VCC # !B6_LRC[0] & !B6L4) # !B6_up & (B6_LRC[0] & !B6L4 # !B6_LRC[0] & (B6L4 # GND));

--B6L6 is led:led_5|LRC[0]~208
B6L6 = CARRY(B6_up & !B6_LRC[0] & !B6L4 # !B6_up & (!B6L4 # !B6_LRC[0]));


--B6L01 is led:led_5|LRC[1]~209
B6L01 = (B6_up $ B6_LRC[1] $ B6L6) # GND;

--B6L11 is led:led_5|LRC[1]~210
B6L11 = CARRY(B6_up & B6_LRC[1] & !B6L6 # !B6_up & (B6_LRC[1] # !B6L6));


--B6L31 is led:led_5|LRC[2]~211
B6L31 = B6_up & (B6_LRC[2] & !B6L11 # !B6_LRC[2] & (B6L11 # GND)) # !B6_up & (B6_LRC[2] & B6L11 & VCC # !B6_LRC[2] & !B6L11);

--B6L41 is led:led_5|LRC[2]~212
B6L41 = CARRY(B6_up & (!B6L11 # !B6_LRC[2]) # !B6_up & !B6_LRC[2] & !B6L11);


--B6L61 is led:led_5|LRC[3]~213
B6L61 = (B6_up $ B6_LRC[3] $ B6L41) # GND;

--B6L71 is led:led_5|LRC[3]~214
B6L71 = CARRY(B6_up & B6_LRC[3] & !B6L41 # !B6_up & (B6_LRC[3] # !B6L41));


--B6L91 is led:led_5|LRC[4]~215
B6L91 = B6_up & (B6_LRC[4] & !B6L71 # !B6_LRC[4] & (B6L71 # GND)) # !B6_up & (B6_LRC[4] & B6L71 & VCC # !B6_LRC[4] & !B6L71);

--B6L02 is led:led_5|LRC[4]~216
B6L02 = CARRY(B6_up & (!B6L71 # !B6_LRC[4]) # !B6_up & !B6_LRC[4] & !B6L71);


--B6L22 is led:led_5|LRC[5]~217
B6L22 = B6_up $ B6_LRC[5] $ B6L02;


--B6L7 is led:led_5|LRC[0]~219
B6L7 = !B6_LRC[5] & !B6_LRC[2] & !B6_LRC[1] & !B6_LRC[4];


--B6L8 is led:led_5|LRC[0]~220
B6L8 = B6_LRC[0] # B6_LRC[3] # tick[5] # !B6L7;


--B7_up is led:led_6|up
B7_up = DFFEAS(B7L72, scaler[18],  ,  ,  ,  ,  ,  ,  );


--B7L4 is led:led_6|LRC[0]~206
B7L4 = CARRY(!B7_up);


--B7L5 is led:led_6|LRC[0]~207
B7L5 = B7_up & (B7_LRC[0] & B7L4 & VCC # !B7_LRC[0] & !B7L4) # !B7_up & (B7_LRC[0] & !B7L4 # !B7_LRC[0] & (B7L4 # GND));

--B7L6 is led:led_6|LRC[0]~208
B7L6 = CARRY(B7_up & !B7_LRC[0] & !B7L4 # !B7_up & (!B7L4 # !B7_LRC[0]));


--B7L8 is led:led_6|LRC[1]~209
B7L8 = (B7_up $ B7_LRC[1] $ B7L6) # GND;

--B7L9 is led:led_6|LRC[1]~210
B7L9 = CARRY(B7_up & B7_LRC[1] & !B7L6 # !B7_up & (B7_LRC[1] # !B7L6));


--B7L11 is led:led_6|LRC[2]~211
B7L11 = B7_up & (B7_LRC[2] & !B7L9 # !B7_LRC[2] & (B7L9 # GND)) # !B7_up & (B7_LRC[2] & B7L9 & VCC # !B7_LRC[2] & !B7L9);

--B7L21 is led:led_6|LRC[2]~212
B7L21 = CARRY(B7_up & (!B7L9 # !B7_LRC[2]) # !B7_up & !B7_LRC[2] & !B7L9);


--B7L41 is led:led_6|LRC[3]~213
B7L41 = (B7_up $ B7_LRC[3] $ B7L21) # GND;

--B7L51 is led:led_6|LRC[3]~214
B7L51 = CARRY(B7_up & B7_LRC[3] & !B7L21 # !B7_up & (B7_LRC[3] # !B7L21));


--B7L71 is led:led_6|LRC[4]~215
B7L71 = B7_up & (B7_LRC[4] & !B7L51 # !B7_LRC[4] & (B7L51 # GND)) # !B7_up & (B7_LRC[4] & B7L51 & VCC # !B7_LRC[4] & !B7L51);

--B7L81 is led:led_6|LRC[4]~216
B7L81 = CARRY(B7_up & (!B7L51 # !B7_LRC[4]) # !B7_up & !B7_LRC[4] & !B7L51);


--B7L22 is led:led_6|LRC[5]~217
B7L22 = B7_up $ B7_LRC[5] $ B7L81;


--B7L91 is led:led_6|LRC[4]~219
B7L91 = !B7_LRC[5] & !B7_LRC[2] & !B7_LRC[1] & !B7_LRC[4];


--B7L02 is led:led_6|LRC[4]~220
B7L02 = B7_LRC[0] # B7_LRC[3] # tick[6] # !B7L91;


--B8_up is led:led_7|up
B8_up = DFFEAS(B8L72, scaler[18],  ,  ,  ,  ,  ,  ,  );


--B8L4 is led:led_7|LRC[0]~206
B8L4 = CARRY(!B8_up);


--B8L5 is led:led_7|LRC[0]~207
B8L5 = B8_up & (B8_LRC[0] & B8L4 & VCC # !B8_LRC[0] & !B8L4) # !B8_up & (B8_LRC[0] & !B8L4 # !B8_LRC[0] & (B8L4 # GND));

--B8L6 is led:led_7|LRC[0]~208
B8L6 = CARRY(B8_up & !B8_LRC[0] & !B8L4 # !B8_up & (!B8L4 # !B8_LRC[0]));


--B8L01 is led:led_7|LRC[1]~209
B8L01 = (B8_up $ B8_LRC[1] $ B8L6) # GND;

--B8L11 is led:led_7|LRC[1]~210
B8L11 = CARRY(B8_up & B8_LRC[1] & !B8L6 # !B8_up & (B8_LRC[1] # !B8L6));


--B8L31 is led:led_7|LRC[2]~211
B8L31 = B8_up & (B8_LRC[2] & !B8L11 # !B8_LRC[2] & (B8L11 # GND)) # !B8_up & (B8_LRC[2] & B8L11 & VCC # !B8_LRC[2] & !B8L11);