washer.fit.eqn

用VHDL编的洗衣机程序

--F1L02 is seg7:ie|num~8582 at LC103
F1L02_p1_out = F1_s[0] & !F1_s[1] & !E1_count_1[4] & !E1_count_1[0] & E1_count_1[2];
F1L02_p2_out = F1_s[0] & !F1_s[1] & !E1_count_1[2] & !E1_count_1[3] & E1_count_1[1] & !E1_count_1[5];
F1L02_p3_out = F1_s[0] & !F1_s[1] & !E1_count_1[2] & !E1_count_1[3] & !E1_count_1[1] & E1_count_1[5];
F1L02 = F1L02_p1_out # F1L02_p2_out # F1L02_p3_out;


--F1L12 is seg7:ie|num~8586 at LC104
F1L12_p0_out = F1_s[0] & !F1_s[1] & E1_count_1[4] & !E1_count_1[1] & !E1_count_1[2] & !E1_count_1[0];
F1L12_p1_out = !E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4] & E1_count_1[1] & E1_count_1[5];
F1L12_p2_out = E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4] & !E1_count_1[1] & E1_count_1[2];
F1L12_p3_out = E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4] & !E1_count_1[5] & E1_count_1[2];
F1L12_p4_out = E1_count_1[3] & F1_s[0] & !F1_s[1] & E1_count_1[4] & !E1_count_1[2] & !E1_count_1[0];
F1L12 = F1L02 # F1L12_p0_out # F1L12_p1_out # F1L12_p2_out # F1L12_p3_out # F1L12_p4_out;


--F1L22 is seg7:ie|num~8592 at LC88
F1L22_p1_out = !B1_model1[2] & !F1_s[1] & !F1_s[0] & B1_model1[0];
F1L22_p2_out = !F1_s[1] & !F1_s[0] & !B1_model1[0] & !B1_model1[1];
F1L22_p3_out = F1_s[1] & !F1_s[0] & E1_count_1[5] & !E1_count_1[4];
F1L22 = F1L22_p1_out # F1L22_p2_out # F1L22_p3_out;


--F1L84 is seg7:ie|process1~241 at LC65
F1L84_p1_out = !E1_count_1[5] & E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L84_p2_out = !E1_count_1[5] & E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & !E1_count_1[4] & !B1_model1[1] & !B1_model1[0] & !B1_model1[2];
F1L84_p3_out = E1_count_1[5] & E1_count_1[1] & E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L84_p4_out = E1_count_1[5] & E1_count_1[1] & E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & !E1_count_1[4] & !B1_model1[1] & !B1_model1[0] & !B1_model1[2];
F1L84 = F1L84_p1_out # F1L84_p2_out # F1L84_p3_out # F1L84_p4_out;


--F1L94 is seg7:ie|process1~246 at LC66
F1L94_p0_out = E1_count_1[5] & E1_count_1[1] & !E1_count_1[0] & !E1_count_1[2] & !E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4];
F1L94_p1_out = E1_count_1[5] & !E1_count_1[1] & E1_count_1[0] & !E1_count_1[2] & E1_count_1[3] & F1_s[0] & !F1_s[1];
F1L94_p2_out = E1_count_1[5] & !E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & E1_count_1[3] & F1_s[0] & !F1_s[1] & !E1_count_1[4];
F1L94_p3_out = !F1_s[0] & !F1_s[1] & !B1_model1[1] & !B1_model1[0] & !B1_model1[2];
F1L94_p4_out = !E1_count_1[5] & !E1_count_1[1] & !E1_count_1[0] & !E1_count_1[2] & E1_count_1[3] & F1_s[0] & !F1_s[1] & E1_count_1[4];
F1L94 = F1L84 # F1L94_p0_out # F1L94_p1_out # F1L94_p2_out # F1L94_p3_out # F1L94_p4_out;


--F1L05 is seg7:ie|process1~252 at LC67
F1L05_p0_out = E1_count_1[5] & E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & !E1_count_1[3] & E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05_p1_out = E1_count_1[5] & E1_count_1[1] & E1_count_1[0] & !E1_count_1[2] & !E1_count_1[3] & E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05_p2_out = !E1_count_1[5] & !E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & !E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05_p3_out = !E1_count_1[5] & E1_count_1[1] & E1_count_1[0] & E1_count_1[2] & !E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05_p4_out = E1_count_1[5] & !E1_count_1[1] & E1_count_1[0] & E1_count_1[2] & !E1_count_1[3] & !E1_count_1[4] & F1_s[0] & !F1_s[1];
F1L05 = F1L94 # F1L05_p0_out # F1L05_p1_out # F1L05_p2_out # F1L05_p3_out # F1L05_p4_out;


--~VCC~0 is ~VCC~0 at LC59
~VCC~0_or_out = GND;
~VCC~0 = !(~VCC~0_or_out);


--~VCC~1 is ~VCC~1 at LC57
~VCC~1_or_out = GND;
~VCC~1 = !(~VCC~1_or_out);


--~VCC~2 is ~VCC~2 at LC56
~VCC~2_or_out = GND;
~VCC~2 = !(~VCC~2_or_out);


--C1L8 is washer_statement:ib|Select~110sexp at SEXP47
C1L8 = EXP(C1L2Q & !C1L3Q & C1L1Q);


--F1L82 is seg7:ie|process1~62sexp at SEXP5
F1L82 = EXP(F1L8 & F1L9);


--F1L92 is seg7:ie|process1~63sexp at SEXP3
F1L92 = EXP(F1L01 & F1L11);


--F1L32 is seg7:ie|process1~57sexp at SEXP25
F1L32 = EXP(!F1L21 & !F1L31);


--E1L01 is counter:id|count_1~769sexp1 at SEXP46
E1L01 = EXP(!C1L2Q & !C1L3Q & E1_set0);


--E1L11 is counter:id|count_1~769sexp2 at SEXP44
E1L11 = EXP(!C1L3Q & E1_set0 & C1L1Q);


--E1L21 is counter:id|count_1~769sexp3 at SEXP33
E1L21 = EXP(!E1_count_1[3] & !E1_count_1[2] & !E1_count_1[5] & !E1_count_1[4] & !E1_count_1[0] & !E1_set0);


--E1L31 is counter:id|count_1~769sexp4 at SEXP34
E1L31 = EXP(E1_count_1[0] & !E1_count_1[1] & !E1_set0);


--E1L41 is counter:id|count_1~769sexp5 at SEXP36
E1L41 = EXP(!E1_count_1[0] & E1_count_1[1] & !E1_set0);


--E1L51 is counter:id|count_1~779sexp1 at SEXP38
E1L51 = EXP(!C1L2Q & !C1L1Q & E1_set0);


--E1L61 is counter:id|count_1~779sexp2 at SEXP39
E1L61 = EXP(!E1_count_1[3] & !E1_count_1[5] & !E1_count_1[4] & !E1_count_1[1] & !E1_count_1[0] & !E1_set0);


--E1L71 is counter:id|count_1~779sexp3 at SEXP40
E1L71 = EXP(E1_count_1[1] & !E1_count_1[2] & !E1_set0);


--E1L81 is counter:id|count_1~779sexp4 at SEXP41
E1L81 = EXP(E1_count_1[0] & !E1_count_1[2] & !E1_set0);


--E1L91 is counter:id|count_1~779sexp5 at SEXP43
E1L91 = EXP(!E1_count_1[1] & !E1_count_1[0] & E1_count_1[2] & !E1_set0);


--clk is clk at PIN_83
--operation mode is input

clk = INPUT();


--model is model at PIN_84
--operation mode is input

model = INPUT();


--s_and_p is s_and_p at PIN_1
--operation mode is input

s_and_p = INPUT();


--power is power at PIN_54
--operation mode is input

power = INPUT();


--seg[5] is seg[5] at PIN_35
--operation mode is output

seg[5] = OUTPUT(~VCC~0);


--seg[4] is seg[4] at PIN_36
--operation mode is output

seg[4] = OUTPUT(~VCC~1);


--seg[3] is seg[3] at PIN_37
--operation mode is output

seg[3] = OUTPUT(~VCC~2);


--ctrlout[2] is ctrlout[2] at PIN_51
--operation mode is output

ctrlout[2] = OUTPUT(B1L6);


--ctrlout[1] is ctrlout[1] at PIN_60
--operation mode is output

ctrlout[1] = OUTPUT(B1L7);


--ctrlout[0] is ctrlout[0] at PIN_58
--operation mode is output

ctrlout[0] = OUTPUT(B1L1);


--clk1000out is clk1000out at PIN_69
--operation mode is output

clk1000out = OUTPUT(D1_y1);


--seg[0] is seg[0] at PIN_41
--operation mode is output

seg[0] = OUTPUT(F1L03);


--seg[2] is seg[2] at PIN_39
--operation mode is output

seg[2] = OUTPUT(F1L13);


--seg[1] is seg[1] at PIN_40
--operation mode is output

seg[1] = OUTPUT(F1L23);


--clk50out is clk50out at PIN_52
--operation mode is output

clk50out = OUTPUT(D1_y2);


--show_count[0] is show_count[0] at PIN_25
--operation mode is output

show_count[0] = OUTPUT(E1_count_1[0]);


--show_count[1] is show_count[1] at PIN_28
--operation mode is output

show_count[1] = OUTPUT(E1_count_1[1]);


--show_count[2] is show_count[2] at PIN_27
--operation mode is output

show_count[2] = OUTPUT(E1_count_1[2]);


--show_count[3] is show_count[3] at PIN_31
--operation mode is output

show_count[3] = OUTPUT(E1_count_1[3]);


--show_count[4] is show_count[4] at PIN_30
--operation mode is output

show_count[4] = OUTPUT(E1_count_1[4]);


--show_count[5] is show_count[5] at PIN_29
--operation mode is output

show_count[5] = OUTPUT(E1_count_1[5]);


--nextstaout is nextstaout at PIN_24
--operation mode is output

nextstaout = OUTPUT(E1_nextsta_c);


--number[4] is number[4] at PIN_15
--operation mode is output

number[4] = OUTPUT(F1L5);


--number[2] is number[2] at PIN_11
--operation mode is output

number[2] = OUTPUT(F1L3);


--number[1] is number[1] at PIN_10
--operation mode is output

number[1] = OUTPUT(F1L2);


--number[0] is number[0] at PIN_9
--operation mode is output

number[0] = OUTPUT(F1L1);


--number[5] is number[5] at PIN_16
--operation mode is output

number[5] = OUTPUT(F1L6);


--number[3] is number[3] at PIN_12
--operation mode is output

number[3] = OUTPUT(F1L4);


--number[6] is number[6] at PIN_17
--operation mode is output

number[6] = OUTPUT(F1L7);