wavetimer.map.eqn

来自「微波炉控制器的设计」· EQN 代码 · 共 1,159 行 · 第 1/3 页

V1L6_p0_out = !F1L1Q & !ibake & !V1_CQI[1] & !idefrost & !icook;
V1L6_p1_out = V1_CQI[0] & !F1L2Q & !F1L1Q & !F1L3Q & ibake & V1_CQI[1];
V1L6_p2_out = !V1_CQI[1] & !V1_CQI[3] & V1_CQI[2];
V1L6_p3_out = !V1_CQI[0] & !V1_CQI[1];
V1L6_p4_out = F1L2Q & !V1_CQI[1];
V1L6 = V1L5 # V1L6_p0_out # V1L6_p1_out # V1L6_p2_out # V1L6_p3_out # V1L6_p4_out;


--V2L5 is inputdata:inst3|CNT6:inst2|CQI[1]~119
V2L5_p1_out = V2_CQI[0] & !F1L2Q & idefrost & !F1L1Q & !F1L3Q & V2_CQI[1];
V2L5_p2_out = V2_CQI[0] & !F1L2Q & F1L1Q & V2_CQI[1] & !start & !clear;
V2L5_p3_out = V2_CQI[0] & !F1L2Q & !F1L1Q & !F1L3Q & V2_CQI[1] & icook;
V2L5 = V2L5_p1_out # V2L5_p2_out # V2L5_p3_out;


--V2L6 is inputdata:inst3|CNT6:inst2|CQI[1]~123
V2L6_p0_out = !F1L1Q & !ibake & !V2_CQI[1] & !idefrost & !icook;
V2L6_p1_out = V2_CQI[0] & !F1L2Q & !F1L1Q & !F1L3Q & ibake & V2_CQI[1];
V2L6_p2_out = !V2_CQI[1] & !V2_CQI[3] & V2_CQI[2];
V2L6_p3_out = !V2_CQI[0] & !V2_CQI[1];
V2L6_p4_out = F1L2Q & !V2_CQI[1];
V2L6 = V2L5 # V2L6_p0_out # V2L6_p1_out # V2L6_p2_out # V2L6_p3_out # V2L6_p4_out;


--U1L5 is inputdata:inst3|CNT10:inst4|CQI[1]~118
U1L5_p1_out = U1_CQI[0] & !F1L2Q & idefrost & !F1L1Q & !F1L3Q & U1_CQI[1];
U1L5_p2_out = U1_CQI[0] & !F1L2Q & F1L1Q & U1_CQI[1] & !start & !clear;
U1L5_p3_out = U1_CQI[0] & !F1L2Q & !F1L1Q & !F1L3Q & U1_CQI[1] & icook;
U1L5 = U1L5_p1_out # U1L5_p2_out # U1L5_p3_out;


--U1L6 is inputdata:inst3|CNT10:inst4|CQI[1]~122
U1L6_p0_out = !F1L1Q & !ibake & !U1_CQI[1] & !idefrost & !icook;
U1L6_p1_out = U1_CQI[0] & !F1L2Q & !F1L1Q & !F1L3Q & ibake & U1_CQI[1];
U1L6_p2_out = !U1_CQI[1] & U1_CQI[3] & !U1_CQI[2];
U1L6_p3_out = !U1_CQI[0] & !U1_CQI[1];
U1L6_p4_out = F1L2Q & !U1_CQI[1];
U1L6 = U1L5 # U1L6_p0_out # U1L6_p1_out # U1L6_p2_out # U1L6_p3_out # U1L6_p4_out;


--U2L5 is inputdata:inst3|CNT10:inst1|CQI[1]~122
U2L5_p1_out = U2_CQI[0] & !F1L2Q & idefrost & !F1L1Q & !F1L3Q & U2_CQI[1];
U2L5_p2_out = U2_CQI[0] & !F1L2Q & F1L1Q & U2_CQI[1] & !start & !clear;
U2L5_p3_out = U2_CQI[0] & !F1L2Q & !F1L1Q & !F1L3Q & U2_CQI[1] & icook;
U2L5 = U2L5_p1_out # U2L5_p2_out # U2L5_p3_out;


--U2L6 is inputdata:inst3|CNT10:inst1|CQI[1]~126
U2L6_p0_out = !F1L1Q & !ibake & !U2_CQI[1] & !idefrost & !icook;
U2L6_p1_out = U2_CQI[0] & !F1L2Q & !F1L1Q & !F1L3Q & ibake & U2_CQI[1];
U2L6_p2_out = !U2_CQI[1] & U2_CQI[3] & !U2_CQI[2];
U2L6_p3_out = !U2_CQI[0] & !U2_CQI[1];
U2L6_p4_out = F1L2Q & !U2_CQI[1];
U2L6 = U2L5 # U2L6_p0_out # U2L6_p1_out # U2L6_p2_out # U2L6_p3_out # U2L6_p4_out;


--R2L4 is miaobiao:inst2|DCNT10:inst7|CQI[0]~314
R2L4_p1_out = !start & !F1L2Q;
R2L4_p2_out = R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & !F1L1Q & S1_CARRY_OUT;
R2L4 = R2L4_p1_out # R2L4_p2_out;


--R2L6 is miaobiao:inst2|DCNT10:inst7|CQI[1]~317
R2L6_p1_out = !R2_CQI[3] & !R2_CQI[2] & !R2_CQI[1];
R2L6_p3_out = !start & !F1L2Q;
R2L6_p4_out = !F1L2Q & !F1L1Q;
R2L6 = R2L6_p1_out # R2_CQI[0] # R2L6_p3_out # R2L6_p4_out;


--S2L4 is miaobiao:inst2|DCNT6:inst8|CQI[0]~295
S2L4_p1_out = !start & !F1L2Q;
S2L4_p2_out = R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & !F1L1Q & S1_CARRY_OUT;
S2L4 = S2L4_p1_out # S2L4_p2_out;


--S2L6 is miaobiao:inst2|DCNT6:inst8|CQI[1]~298
S2L6_p1_out = !S2_CQI[3] & !S2_CQI[2] & !S2_CQI[1];
S2L6_p3_out = !start & !F1L2Q;
S2L6_p4_out = !F1L2Q & !F1L1Q;
S2L6 = S2L6_p1_out # S2_CQI[0] # S2L6_p3_out # S2L6_p4_out;


--S2L9 is miaobiao:inst2|DCNT6:inst8|CQI[3]~303
S2L9_p1_out = !stop & F1L2Q & !S2_CQI[2] & !S2_CQI[0] & !S2_CQI[1] & F1L1Q & S2_CQI[3];
S2L9_p2_out = !stop & F1L2Q & !S2_CQI[2] & !S2_CQI[0] & !S2_CQI[1] & S2_CQI[3] & !R2_CARRY_OUT;
S2L9_p3_out = !stop & F1L2Q & !S2_CQI[2] & !S2_CQI[0] & !S2_CQI[1] & S2_CQI[3] & !S2_CARRY_OUT;
S2L9_p4_out = !stop & F1L2Q & !S2_CQI[2] & !S2_CQI[0] & !S2_CQI[1] & S2_CQI[3] & !R1_CARRY_OUT;
S2L9 = S2L9_p1_out # S2L9_p2_out # S2L9_p3_out # S2L9_p4_out;


--R1L4 is miaobiao:inst2|DCNT10:inst9|CQI[0]~306
R1L4_p1_out = !start & !F1L2Q;
R1L4_p2_out = R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & !F1L1Q & S1_CARRY_OUT;
R1L4 = R1L4_p1_out # R1L4_p2_out;


--R1L6 is miaobiao:inst2|DCNT10:inst9|CQI[1]~309
R1L6_p1_out = !R1_CQI[3] & !R1_CQI[2] & !R1_CQI[1];
R1L6_p3_out = !start & !F1L2Q;
R1L6_p4_out = !F1L2Q & !F1L1Q;
R1L6 = R1L6_p1_out # R1_CQI[0] # R1L6_p3_out # R1L6_p4_out;


--R1L8 is miaobiao:inst2|DCNT10:inst9|CQI[2]~314
R1L8_p0_out = !R1_CQI[0] & !R1_CQI[2] & !R1_CQI[1] & R1_CQI[3] & F1L2Q & !stop & !R2_CARRY_OUT;
R1L8_p1_out = R1_CQI[0] & R1_CQI[2];
R1L8_p2_out = R1_CQI[2] & R1_CQI[1];
R1L8_p3_out = !R1_CQI[0] & !R1_CQI[2] & !R1_CQI[1] & R1_CQI[3] & start & F1L1Q & !F1L2Q;
R1L8_p4_out = !R1_CQI[0] & !R1_CQI[2] & !R1_CQI[1] & R1_CQI[3] & F1L1Q & F1L2Q & !stop;
R1L8 = R1L8_p0_out # R1L8_p1_out # R1L8_p2_out # R1L8_p3_out # R1L8_p4_out;


--R1L9 is miaobiao:inst2|DCNT10:inst9|CQI[2]~320
R1L9_p0_out = R1_CQI[2] & !F1L2Q & !F1L1Q;
R1L9_p1_out = R1_CQI[3] & !R1_CQI[1] & !R1_CQI[0] & !R1_CQI[2] & F1L2Q & !stop & !S2_CARRY_OUT;
R1L9_p2_out = R1_CQI[3] & !R1_CQI[1] & !R1_CQI[0] & !R1_CQI[2] & F1L2Q & !stop & !R1_CARRY_OUT;
R1L9_p3_out = R1_CQI[3] & !R1_CQI[1] & !R1_CQI[0] & !R1_CQI[2] & F1L2Q & !stop & !S1_CARRY_OUT;
R1L9_p4_out = R1_CQI[2] & !F1L2Q & !start;
R1L9 = R1L8 # R1L9_p0_out # R1L9_p1_out # R1L9_p2_out # R1L9_p3_out # R1L9_p4_out;


--R1L11 is miaobiao:inst2|DCNT10:inst9|CQI[3]~326
R1L11_p1_out = start & F1L1Q & !R1_CQI[2] & !R1_CQI[1] & !R1_CQI[0] & !F1L2Q;
R1L11_p2_out = F1L1Q & !R1_CQI[2] & !R1_CQI[1] & !R1_CQI[0] & F1L2Q & !stop;
R1L11_p3_out = !R1_CQI[2] & !R1_CQI[1] & !R1_CQI[0] & F1L2Q & !stop & !R2_CARRY_OUT;
R1L11_p4_out = !R1_CQI[2] & !R1_CQI[1] & !R1_CQI[0] & F1L2Q & !stop & !S2_CARRY_OUT;
R1L11 = R1L11_p1_out # R1L11_p2_out # R1L11_p3_out # R1L11_p4_out;


--S1L4 is miaobiao:inst2|DCNT6:inst10|CQI[0]~294
S1L4_p1_out = !start & !F1L2Q;
S1L4_p2_out = R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & !F1L1Q & S1_CARRY_OUT;
S1L4 = S1L4_p1_out # S1L4_p2_out;


--S1L6 is miaobiao:inst2|DCNT6:inst10|CQI[1]~297
S1L6_p1_out = !S1_CQI[3] & !S1_CQI[2] & !S1_CQI[1];
S1L6_p3_out = !start & !F1L2Q;
S1L6_p4_out = !F1L2Q & !F1L1Q;
S1L6 = S1L6_p1_out # S1_CQI[0] # S1L6_p3_out # S1L6_p4_out;


--S1L8 is miaobiao:inst2|DCNT6:inst10|CQI[2]~302
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
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
F1L8 = EXP(F1L3Q & dooropen);


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


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


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


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


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


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


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


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


--R2L9 is miaobiao:inst2|DCNT10:inst7|CQI[3]~304bal
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
--operation mode is input

clk = INPUT();


--clear is clear
--operation mode is input

clear = INPUT();


--start is start
--operation mode is input

start = INPUT();


--stop is stop
--operation mode is input

stop = INPUT();


--DATA is DATA
--operation mode is input

DATA = INPUT();


--MOVE is MOVE
--operation mode is input

MOVE = INPUT();


--dooropen is dooropen
--operation mode is input

dooropen = INPUT();


--icook is icook
--operation mode is input

icook = INPUT();


--idefrost is idefrost
--operation mode is input

idefrost = INPUT();


--ibake is ibake
--operation mode is input

ibake = INPUT();


--defrost is defrost
--operation mode is output

defrost = OUTPUT(B1L2);


--cook is cook
--operation mode is output

cook = OUTPUT(B1L1);


--bake is bake
--operation mode is output

bake = OUTPUT(B1L3);


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


--done is done
--operation mode is output

done = OUTPUT(H1_NEWCLK);