wavetimer.fit.eqn

微波炉控制器的设计

--S1L8 is miaobiao:inst2|DCNT6:inst10|CQI[2]~302 at LC87
S1L8_p1_out = start & F1L1Q & !S1_CQI[1] & !S1_CQI[0] & !F1L2Q;
S1L8_p2_out = F1L1Q & !S1_CQI[1] & !S1_CQI[0] & F1L2Q & !stop;
S1L8_p3_out = !S1_CQI[1] & !S1_CQI[0] & F1L2Q & !stop & !R2_CARRY_OUT;
S1L8_p4_out = !S1_CQI[1] & !S1_CQI[0] & F1L2Q & !stop & !S2_CARRY_OUT;
S1L8 = S1L8_p1_out # S1L8_p2_out # S1L8_p3_out # S1L8_p4_out;


--H1L2 is baojing:inst1|CLKGENBAOJING:inst2|CNT2~16 at LC111
H1L2_p1_out = F1L3Q & !dooropen & J1_CQI[2];
H1L2_p2_out = F1L3Q & !dooropen & J1_CQI[3];
H1L2_p3_out = F1L3Q & !dooropen & !J1_CQI[1];
H1L2_p4_out = F1L3Q & !dooropen & !J1_CQI[0];
H1L2 = H1L2_p1_out # H1L2_p2_out # H1L2_p3_out # H1L2_p4_out;


--F1L8 is state_control:inst5|next_state.idle~130sexp at SEXP51
F1L8 = EXP(F1L3Q & dooropen);


--A1L28 is rtl~196sexp at SEXP98
A1L28 = EXP(!J1_CQI[2] & !J1_CQI[3] & J1_CQI[1] & J1_CQI[0]);


--F1L9 is state_control:inst5|next_state.idle~133sexp1 at SEXP53
F1L9 = EXP(!F1L2Q & !start & F1L1Q & clear);


--F1L10 is state_control:inst5|next_state.idle~133sexp2 at SEXP55
F1L10 = EXP(!F1L2Q & !idefrost & !icook & !ibake & !F1L1Q & !F1L3Q);


--R2L13 is miaobiao:inst2|DCNT10:inst7|CQI~297sexp1 at SEXP39
R2L13 = EXP(!R2_CQI[3] & !R2_CQI[2]);


--R2L14 is miaobiao:inst2|DCNT10:inst7|CQI~297sexp2 at SEXP38
R2L14 = EXP(!R2_CQI[1] & !R2_CQI[0] & R2_CQI[2]);


--R2L15 is miaobiao:inst2|DCNT10:inst7|CQI~297sexp3 at SEXP36
R2L15 = EXP(R2_CQI[1] & !R2_CQI[2]);


--R2L16 is miaobiao:inst2|DCNT10:inst7|CQI~297sexp4 at SEXP34
R2L16 = EXP(R2_CQI[0] & !R2_CQI[2]);


--H1L14 is baojing:inst1|CLKGENBAOJING:inst2|process2~32bal at LC101
H1L14_p1_out = F1L23 & A1L28;
H1L14_or_out = H1L14_p1_out;
H1L14 = !(H1L14_or_out);


--R2L9 is miaobiao:inst2|DCNT10:inst7|CQI[3]~304bal at LC1
R2L9_p1_out = !start & !F1L2Q;
R2L9_p2_out = !F1L2Q & !F1L1Q;
R2L9_p3_out = F1L2Q & stop;
R2L9_or_out = R2L9_p1_out # R2L9_p2_out # R2L9_p3_out;
R2L9 = !(R2L9_or_out);


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

clk = INPUT();


--clear is clear at PIN_4
--operation mode is input

clear = INPUT();


--start is start at PIN_73
--operation mode is input

start = INPUT();


--stop is stop at PIN_74
--operation mode is input

stop = INPUT();


--DATA is DATA at PIN_75
--operation mode is input

DATA = INPUT();


--MOVE is MOVE at PIN_76
--operation mode is input

MOVE = INPUT();


--dooropen is dooropen at PIN_81
--operation mode is input

dooropen = INPUT();


--icook is icook at PIN_77
--operation mode is input

icook = INPUT();


--idefrost is idefrost at PIN_80
--operation mode is input

idefrost = INPUT();


--ibake is ibake at PIN_79
--operation mode is input

ibake = INPUT();


--defrost is defrost at PIN_64
--operation mode is output

defrost = OUTPUT(B1L2);


--cook is cook at PIN_61
--operation mode is output

cook = OUTPUT(B1L1);


--bake is bake at PIN_63
--operation mode is output

bake = OUTPUT(B1L3);


--S[0] is S[0] at PIN_27
--operation mode is output

S[0] = OUTPUT(R2_CQI[0]);


--S[1] is S[1] at PIN_25
--operation mode is output

S[1] = OUTPUT(R2_CQI[1]);


--S[2] is S[2] at PIN_24
--operation mode is output

S[2] = OUTPUT(R2_CQI[2]);


--S[3] is S[3] at PIN_22
--operation mode is output

S[3] = OUTPUT(R2_CQI[3]);


--10S[0] is 10S[0] at PIN_31
--operation mode is output

10S[0] = OUTPUT(S2_CQI[0]);


--10S[1] is 10S[1] at PIN_30
--operation mode is output

10S[1] = OUTPUT(S2_CQI[1]);


--10S[2] is 10S[2] at PIN_29
--operation mode is output

10S[2] = OUTPUT(S2_CQI[2]);


--10S[3] is 10S[3] at PIN_28
--operation mode is output

10S[3] = OUTPUT(S2_CQI[3]);


--MIN[0] is MIN[0] at PIN_55
--operation mode is output

MIN[0] = OUTPUT(R1_CQI[0]);


--MIN[1] is MIN[1] at PIN_54
--operation mode is output

MIN[1] = OUTPUT(R1_CQI[1]);


--MIN[2] is MIN[2] at PIN_52
--operation mode is output

MIN[2] = OUTPUT(R1_CQI[2]);


--MIN[3] is MIN[3] at PIN_51
--operation mode is output

MIN[3] = OUTPUT(R1_CQI[3]);


--10MIN[0] is 10MIN[0] at PIN_60
--operation mode is output

10MIN[0] = OUTPUT(S1_CQI[0]);


--10MIN[1] is 10MIN[1] at PIN_58
--operation mode is output

10MIN[1] = OUTPUT(S1_CQI[1]);


--10MIN[2] is 10MIN[2] at PIN_57
--operation mode is output

10MIN[2] = OUTPUT(S1_CQI[2]);


--10MIN[3] is 10MIN[3] at PIN_56
--operation mode is output

10MIN[3] = OUTPUT(S1_CQI[3]);


--done is done at PIN_21
--operation mode is output

done = OUTPUT(H1_NEWCLK);






--F1L11 is state_control:inst5|next_state.idle~149 at SEXP5
F1L11 = EXP(F1L12 & F1L13 & F1L14);


--F1L12 is state_control:inst5|next_state.idle~150 at SEXP3
F1L12 = EXP(F1L3Q & dooropen);


--F1L13 is state_control:inst5|next_state.idle~151 at SEXP1
F1L13 = EXP(!F1L2Q & !start & F1L1Q & clear);


--F1L14 is state_control:inst5|next_state.idle~152 at SEXP2
F1L14 = EXP(!F1L2Q & !idefrost & !icook & !ibake & !F1L1Q & !F1L3Q);


--F1L15 is state_control:inst5|next_state.idle~153 at SEXP113
F1L15 = EXP(F1L16 & F1L17 & F1L18);


--F1L16 is state_control:inst5|next_state.idle~154 at SEXP115
F1L16 = EXP(F1L3Q & dooropen);


--F1L17 is state_control:inst5|next_state.idle~155 at SEXP122
F1L17 = EXP(!F1L2Q & !start & F1L1Q & clear);


--F1L18 is state_control:inst5|next_state.idle~156 at SEXP120
F1L18 = EXP(!F1L2Q & !idefrost & !icook & !ibake & !F1L1Q & !F1L3Q);


--F1L19 is state_control:inst5|next_state.idle~157 at SEXP65
F1L19 = EXP(F1L20 & F1L21 & F1L22);


--F1L20 is state_control:inst5|next_state.idle~158 at SEXP68
F1L20 = EXP(F1L3Q & dooropen);


--F1L21 is state_control:inst5|next_state.idle~159 at SEXP71
F1L21 = EXP(!F1L2Q & !start & F1L1Q & clear);


--F1L22 is state_control:inst5|next_state.idle~160 at SEXP76
F1L22 = EXP(!F1L2Q & !idefrost & !icook & !ibake & !F1L1Q & !F1L3Q);


--R2L11 is miaobiao:inst2|DCNT10:inst7|CQI[3]~322 at SEXP33
R2L11 = EXP(R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & !F1L1Q & S1_CARRY_OUT);


--R2L12 is miaobiao:inst2|DCNT10:inst7|CQI[3]~323 at SEXP81
R2L12 = EXP(R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & !F1L1Q & S1_CARRY_OUT);