wavetimer.map.eqn

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

H1_CNTER[2]_p1_out = !H1_CNTER[3] & H1_CNTER[8] & H1_CNTER[7] & H1_CNTER[6] & H1_CNTER[5] & H1_CNTER[4] & !H1_CNTER[1] & !H1_CNTER[0] & H1_CNTER[2];
H1_CNTER[2]_p2_out = H1_CNTER[1] & H1_CNTER[0];
H1_CNTER[2]_or_out = H1_CNTER[2]_p1_out # H1_CNTER[2]_p2_out;
H1_CNTER[2]_reg_input = H1_CNTER[2]_or_out;
H1_CNTER[2] = TFFE(H1_CNTER[2]_reg_input, GLOBAL(clk), , , );


--Q1_CNTER[5] is miaobiao:inst2|CLKGEN:inst|CNTER[5]
Q1_CNTER[5]_p1_out = Q1_CNTER[4] & Q1_CNTER[3] & Q1_CNTER[2] & Q1_CNTER[1] & Q1_CNTER[0];
Q1_CNTER[5]_or_out = Q1_CNTER[5];
Q1_CNTER[5]_reg_input = Q1_CNTER[5]_p1_out $ Q1_CNTER[5]_or_out;
Q1_CNTER[5] = DFFE(Q1_CNTER[5]_reg_input, GLOBAL(clk), , , );


--H1_CNTER[3] is baojing:inst1|CLKGENBAOJING:inst2|CNTER[3]
H1_CNTER[3]_p1_out = H1_CNTER[2] & H1_CNTER[1] & H1_CNTER[0];
H1_CNTER[3]_or_out = H1_CNTER[3];
H1_CNTER[3]_reg_input = H1_CNTER[3]_p1_out $ H1_CNTER[3]_or_out;
H1_CNTER[3] = DFFE(H1_CNTER[3]_reg_input, GLOBAL(clk), , , );


--Q1_CNTER[6] is miaobiao:inst2|CLKGEN:inst|CNTER[6]
Q1_CNTER[6]_p1_out = Q1_CNTER[5] & Q1_CNTER[4] & Q1_CNTER[3] & Q1_CNTER[2] & Q1_CNTER[1] & Q1_CNTER[0];
Q1_CNTER[6]_or_out = Q1_CNTER[6];
Q1_CNTER[6]_reg_input = Q1_CNTER[6]_p1_out $ Q1_CNTER[6]_or_out;
Q1_CNTER[6] = DFFE(Q1_CNTER[6]_reg_input, GLOBAL(clk), , , );


--R2_CQI[0] is miaobiao:inst2|DCNT10:inst7|CQI[0]
R2_CQI[0]_p0_out = F1L2Q & stop;
R2_CQI[0]_p1_out = !F1L2Q & !F1L1Q;
R2_CQI[0]_or_out = R2L4 # R2_CQI[0]_p0_out # R2_CQI[0]_p1_out;
R2_CQI[0]_reg_input = !R2_CQI[0]_or_out;
R2_CQI[0]_p3_out = !Q1_CNTER[6] & !Q1_CNTER[5] & !Q1_CNTER[4] & !Q1_CNTER[3] & !Q1_CNTER[2] & !Q1_CNTER[1] & !Q1_CNTER[0] & Q1_CNTER[7];
R2_CQI[0]_p2_out = F1L5 & !U2_CQI[0];
R2_CQI[0]_p4_out = F1L5 & U2_CQI[0];
R2_CQI[0] = TFFE(R2_CQI[0]_reg_input, R2_CQI[0]_p3_out, !R2_CQI[0]_p2_out, !R2_CQI[0]_p4_out, );


--F1L5 is state_control:inst5|d_load~9
F1L5_p1_out = F1L3Q & dooropen;
F1L5_p2_out = !start & F1L1Q & !F1L2Q & !clear;
F1L5_or_out = F1L5_p1_out # F1L5_p2_out;
F1L5 = F1L5_or_out;


--R2_CQI[1] is miaobiao:inst2|DCNT10:inst7|CQI[1]
R2_CQI[1]_p0_out = F1L2Q & stop;
R2_CQI[1]_p1_out = !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT;
R2_CQI[1]_or_out = R2L6 # R2_CQI[1]_p0_out # R2_CQI[1]_p1_out;
R2_CQI[1]_reg_input = !R2_CQI[1]_or_out;
R2_CQI[1]_p3_out = !Q1_CNTER[6] & !Q1_CNTER[5] & !Q1_CNTER[4] & !Q1_CNTER[3] & !Q1_CNTER[2] & !Q1_CNTER[1] & !Q1_CNTER[0] & Q1_CNTER[7];
R2_CQI[1]_p2_out = F1L5 & !U2_CQI[1];
R2_CQI[1]_p4_out = F1L5 & U2_CQI[1];
R2_CQI[1] = TFFE(R2_CQI[1]_reg_input, R2_CQI[1]_p3_out, !R2_CQI[1]_p2_out, !R2_CQI[1]_p4_out, );


--F1L6 is state_control:inst5|d_miaobiao~155
F1L6_p1_out = !start & !F1L2Q;
F1L6_p2_out = R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & !F1L1Q & S1_CARRY_OUT;
F1L6_p3_out = !F1L2Q & !F1L1Q;
F1L6_p4_out = F1L2Q & stop;
F1L6_or_out = F1L6_p1_out # F1L6_p2_out # F1L6_p3_out # F1L6_p4_out;
F1L6 = F1L6_or_out;


--R2_CQI[2] is miaobiao:inst2|DCNT10:inst7|CQI[2]
R2_CQI[2]_p0_out = F1L6 & R2_CQI[2];
R2_CQI[2]_p1_out = !F1L6 & R2L11 & R2L12 & R2L13 & R2L14;
R2_CQI[2]_or_out = R2_CQI[2]_p0_out # R2_CQI[2]_p1_out;
R2_CQI[2]_reg_input = R2_CQI[2]_or_out;
R2_CQI[2]_p3_out = !Q1_CNTER[6] & !Q1_CNTER[5] & !Q1_CNTER[4] & !Q1_CNTER[3] & !Q1_CNTER[2] & !Q1_CNTER[1] & !Q1_CNTER[0] & Q1_CNTER[7];
R2_CQI[2]_p2_out = F1L5 & !U2_CQI[2];
R2_CQI[2]_p4_out = F1L5 & U2_CQI[2];
R2_CQI[2] = DFFE(R2_CQI[2]_reg_input, R2_CQI[2]_p3_out, !R2_CQI[2]_p2_out, !R2_CQI[2]_p4_out, );


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


--R2_CQI[3] is miaobiao:inst2|DCNT10:inst7|CQI[3]
R2_CQI[3]_p1_out = R2L9 & R2L10 & !R2_CQI[2] & !R2_CQI[1] & !R2_CQI[0];
R2_CQI[3]_or_out = R2_CQI[3]_p1_out;
R2_CQI[3]_reg_input = R2_CQI[3]_or_out;
R2_CQI[3]_p3_out = !Q1_CNTER[6] & !Q1_CNTER[5] & !Q1_CNTER[4] & !Q1_CNTER[3] & !Q1_CNTER[2] & !Q1_CNTER[1] & !Q1_CNTER[0] & Q1_CNTER[7];
R2_CQI[3]_p2_out = F1L5 & !U2_CQI[3];
R2_CQI[3]_p4_out = F1L5 & U2_CQI[3];
R2_CQI[3] = TFFE(R2_CQI[3]_reg_input, R2_CQI[3]_p3_out, !R2_CQI[3]_p2_out, !R2_CQI[3]_p4_out, );


--R2_CARRY_OUT is miaobiao:inst2|DCNT10:inst7|CARRY_OUT
R2_CARRY_OUT_p1_out = !R2_CQI[3] & !R2_CQI[2] & !R2_CQI[1] & !R2_CQI[0];
R2_CARRY_OUT_or_out = R2_CARRY_OUT_p1_out;
R2_CARRY_OUT_reg_input = R2_CARRY_OUT_or_out;
R2_CARRY_OUT_p3_out = !Q1_CNTER[6] & !Q1_CNTER[5] & !Q1_CNTER[4] & !Q1_CNTER[3] & !Q1_CNTER[2] & !Q1_CNTER[1] & !Q1_CNTER[0] & Q1_CNTER[7];
R2_CARRY_OUT = DFFE(R2_CARRY_OUT_reg_input, R2_CARRY_OUT_p3_out, , , );


--S2_CQI[0] is miaobiao:inst2|DCNT6:inst8|CQI[0]
S2_CQI[0]_p0_out = F1L2Q & stop;
S2_CQI[0]_p1_out = !F1L2Q & !F1L1Q;
S2_CQI[0]_or_out = S2L4 # S2_CQI[0]_p0_out # S2_CQI[0]_p1_out;
S2_CQI[0]_reg_input = !S2_CQI[0]_or_out;
S2_CQI[0]_p2_out = F1L5 & !V2_CQI[0];
S2_CQI[0]_p4_out = F1L5 & V2_CQI[0];
S2_CQI[0] = TFFE(S2_CQI[0]_reg_input, R2_CARRY_OUT, !S2_CQI[0]_p2_out, !S2_CQI[0]_p4_out, );


--S2_CQI[1] is miaobiao:inst2|DCNT6:inst8|CQI[1]
S2_CQI[1]_p0_out = F1L2Q & stop;
S2_CQI[1]_p1_out = !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT;
S2_CQI[1]_or_out = S2L6 # S2_CQI[1]_p0_out # S2_CQI[1]_p1_out;
S2_CQI[1]_reg_input = !S2_CQI[1]_or_out;
S2_CQI[1]_p2_out = F1L5 & !V2_CQI[1];
S2_CQI[1]_p4_out = F1L5 & V2_CQI[1];
S2_CQI[1] = TFFE(S2_CQI[1]_reg_input, R2_CARRY_OUT, !S2_CQI[1]_p2_out, !S2_CQI[1]_p4_out, );


--S2_CQI[2] is miaobiao:inst2|DCNT6:inst8|CQI[2]
S2_CQI[2]_p1_out = R2L9 & R2L10 & !S2_CQI[1] & !S2_CQI[0];
S2_CQI[2]_or_out = S2_CQI[2]_p1_out;
S2_CQI[2]_reg_input = S2_CQI[2]_or_out;
S2_CQI[2]_p2_out = F1L5 & !V2_CQI[2];
S2_CQI[2]_p4_out = F1L5 & V2_CQI[2];
S2_CQI[2] = TFFE(S2_CQI[2]_reg_input, R2_CARRY_OUT, !S2_CQI[2]_p2_out, !S2_CQI[2]_p4_out, );


--S2_CQI[3] is miaobiao:inst2|DCNT6:inst8|CQI[3]
S2_CQI[3]_p0_out = !F1L2Q & !S2_CQI[2] & !S2_CQI[0] & !S2_CQI[1] & S2_CQI[3] & F1L1Q & start;
S2_CQI[3]_p1_out = !stop & !S1_CARRY_OUT & F1L2Q & !S2_CQI[2] & !S2_CQI[0] & !S2_CQI[1] & S2_CQI[3];
S2_CQI[3]_or_out = S2L9 # S2_CQI[3]_p0_out # S2_CQI[3]_p1_out;
S2_CQI[3]_reg_input = S2_CQI[3]_or_out;
S2_CQI[3]_p2_out = F1L5 & !V2_CQI[3];
S2_CQI[3]_p4_out = F1L5 & V2_CQI[3];
S2_CQI[3] = TFFE(S2_CQI[3]_reg_input, R2_CARRY_OUT, !S2_CQI[3]_p2_out, !S2_CQI[3]_p4_out, );


--S2_CARRY_OUT is miaobiao:inst2|DCNT6:inst8|CARRY_OUT
S2_CARRY_OUT_p1_out = !S2_CQI[3] & !S2_CQI[2] & !S2_CQI[1] & !S2_CQI[0];
S2_CARRY_OUT_or_out = S2_CARRY_OUT_p1_out;
S2_CARRY_OUT_reg_input = S2_CARRY_OUT_or_out;
S2_CARRY_OUT = DFFE(S2_CARRY_OUT_reg_input, R2_CARRY_OUT, , , );


--R1_CQI[0] is miaobiao:inst2|DCNT10:inst9|CQI[0]
R1_CQI[0]_p0_out = F1L2Q & stop;
R1_CQI[0]_p1_out = !F1L2Q & !F1L1Q;
R1_CQI[0]_or_out = R1L4 # R1_CQI[0]_p0_out # R1_CQI[0]_p1_out;
R1_CQI[0]_reg_input = !R1_CQI[0]_or_out;
R1_CQI[0]_p2_out = F1L5 & !U1_CQI[0];
R1_CQI[0]_p4_out = F1L5 & U1_CQI[0];
R1_CQI[0] = TFFE(R1_CQI[0]_reg_input, S2_CARRY_OUT, !R1_CQI[0]_p2_out, !R1_CQI[0]_p4_out, );


--R1_CQI[1] is miaobiao:inst2|DCNT10:inst9|CQI[1]
R1_CQI[1]_p0_out = F1L2Q & stop;
R1_CQI[1]_p1_out = !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT;
R1_CQI[1]_or_out = R1L6 # R1_CQI[1]_p0_out # R1_CQI[1]_p1_out;
R1_CQI[1]_reg_input = !R1_CQI[1]_or_out;
R1_CQI[1]_p2_out = F1L5 & !U1_CQI[1];
R1_CQI[1]_p4_out = F1L5 & U1_CQI[1];
R1_CQI[1] = TFFE(R1_CQI[1]_reg_input, S2_CARRY_OUT, !R1_CQI[1]_p2_out, !R1_CQI[1]_p4_out, );


--R1_CQI[2] is miaobiao:inst2|DCNT10:inst9|CQI[2]
R1_CQI[2]_p0_out = R1_CQI[2] & F1L2Q & stop;
R1_CQI[2]_p1_out = !F1L1Q & R1_CQI[2] & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT;
R1_CQI[2]_or_out = R1L9 # R1_CQI[2]_p0_out # R1_CQI[2]_p1_out;
R1_CQI[2]_reg_input = R1_CQI[2]_or_out;
R1_CQI[2]_p2_out = F1L5 & !U1_CQI[2];
R1_CQI[2]_p4_out = F1L5 & U1_CQI[2];
R1_CQI[2] = DFFE(R1_CQI[2]_reg_input, S2_CARRY_OUT, !R1_CQI[2]_p2_out, !R1_CQI[2]_p4_out, );


--R1_CQI[3] is miaobiao:inst2|DCNT10:inst9|CQI[3]
R1_CQI[3]_p0_out = !R1_CQI[2] & !R1_CQI[1] & !R1_CQI[0] & F1L2Q & !stop & !S1_CARRY_OUT;
R1_CQI[3]_p1_out = !R1_CARRY_OUT & !R1_CQI[2] & !R1_CQI[1] & !R1_CQI[0] & F1L2Q & !stop;
R1_CQI[3]_or_out = R1L11 # R1_CQI[3]_p0_out # R1_CQI[3]_p1_out;
R1_CQI[3]_reg_input = R1_CQI[3]_or_out;
R1_CQI[3]_p2_out = F1L5 & !U1_CQI[3];
R1_CQI[3]_p4_out = F1L5 & U1_CQI[3];
R1_CQI[3] = TFFE(R1_CQI[3]_reg_input, S2_CARRY_OUT, !R1_CQI[3]_p2_out, !R1_CQI[3]_p4_out, );


--R1_CARRY_OUT is miaobiao:inst2|DCNT10:inst9|CARRY_OUT
R1_CARRY_OUT_p1_out = !R1_CQI[3] & !R1_CQI[2] & !R1_CQI[1] & !R1_CQI[0];
R1_CARRY_OUT_or_out = R1_CARRY_OUT_p1_out;
R1_CARRY_OUT_reg_input = R1_CARRY_OUT_or_out;
R1_CARRY_OUT = DFFE(R1_CARRY_OUT_reg_input, S2_CARRY_OUT, , , );


--S1_CQI[0] is miaobiao:inst2|DCNT6:inst10|CQI[0]
S1_CQI[0]_p0_out = F1L2Q & stop;
S1_CQI[0]_p1_out = !F1L2Q & !F1L1Q;
S1_CQI[0]_or_out = S1L4 # S1_CQI[0]_p0_out # S1_CQI[0]_p1_out;
S1_CQI[0]_reg_input = !S1_CQI[0]_or_out;
S1_CQI[0]_p2_out = F1L5 & !V1_CQI[0];
S1_CQI[0]_p4_out = F1L5 & V1_CQI[0];
S1_CQI[0] = TFFE(S1_CQI[0]_reg_input, R1_CARRY_OUT, !S1_CQI[0]_p2_out, !S1_CQI[0]_p4_out, );


--S1_CQI[1] is miaobiao:inst2|DCNT6:inst10|CQI[1]
S1_CQI[1]_p0_out = F1L2Q & stop;
S1_CQI[1]_p1_out = !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT;
S1_CQI[1]_or_out = S1L6 # S1_CQI[1]_p0_out # S1_CQI[1]_p1_out;
S1_CQI[1]_reg_input = !S1_CQI[1]_or_out;
S1_CQI[1]_p2_out = F1L5 & !V1_CQI[1];
S1_CQI[1]_p4_out = F1L5 & V1_CQI[1];
S1_CQI[1] = TFFE(S1_CQI[1]_reg_input, R1_CARRY_OUT, !S1_CQI[1]_p2_out, !S1_CQI[1]_p4_out, );


--S1_CQI[2] is miaobiao:inst2|DCNT6:inst10|CQI[2]
S1_CQI[2]_p0_out = !S1_CQI[1] & !S1_CQI[0] & F1L2Q & !stop & !S1_CARRY_OUT;
S1_CQI[2]_p1_out = !R1_CARRY_OUT & !S1_CQI[1] & !S1_CQI[0] & F1L2Q & !stop;
S1_CQI[2]_or_out = S1L8 # S1_CQI[2]_p0_out # S1_CQI[2]_p1_out;
S1_CQI[2]_reg_input = S1_CQI[2]_or_out;
S1_CQI[2]_p2_out = F1L5 & !V1_CQI[2];
S1_CQI[2]_p4_out = F1L5 & V1_CQI[2];
S1_CQI[2] = TFFE(S1_CQI[2]_reg_input, R1_CARRY_OUT, !S1_CQI[2]_p2_out, !S1_CQI[2]_p4_out, );


--S1L10 is miaobiao:inst2|DCNT6:inst10|CQI[3]~286
S1L10 = EXP(!F1L2Q & !S1_CQI[2] & !S1_CQI[0] & !S1_CQI[1] & F1L1Q & start);


--S1_CQI[3] is miaobiao:inst2|DCNT6:inst10|CQI[3]
S1_CQI[3]_p1_out = S1_CQI[3] & S1L10;
S1_CQI[3]_p0_out = S1_CQI[3] & S1L10 & R2L10 & F1L2Q & !S1_CQI[2] & !S1_CQI[0] & !S1_CQI[1] & !stop;
S1_CQI[3]_or_out = S1_CQI[3]_p0_out;
S1_CQI[3]_reg_input = S1_CQI[3]_p1_out $ S1_CQI[3]_or_out;
S1_CQI[3]_p2_out = !V1_CQI[3] & F1L5;
S1_CQI[3]_p4_out = V1_CQI[3] & F1L5;
S1_CQI[3] = DFFE(S1_CQI[3]_reg_input, R1_CARRY_OUT, !S1_CQI[3]_p2_out, !S1_CQI[3]_p4_out, );


--S1_CARRY_OUT is miaobiao:inst2|DCNT6:inst10|CARRY_OUT
S1_CARRY_OUT_p1_out = !S1_CQI[3] & !S1_CQI[2] & !S1_CQI[1] & !S1_CQI[0];
S1_CARRY_OUT_or_out = S1_CARRY_OUT_p1_out;
S1_CARRY_OUT_reg_input = S1_CARRY_OUT_or_out;
S1_CARRY_OUT = DFFE(S1_CARRY_OUT_reg_input, R1_CARRY_OUT, , , );


--F1L2Q is state_control:inst5|current_state~15
F1L2Q_p1_out = start & F1L1Q & !F1L2Q;
F1L2Q_p3_out = !F1L1Q & F1L2Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT & !stop;
F1L2Q_or_out = F1L2Q_p1_out # F1L2Q_p3_out;
F1L2Q_reg_input = F1L2Q_or_out;
F1L2Q = TFFE(F1L2Q_reg_input, GLOBAL(clk), !clear, , );


--F1L3Q is state_control:inst5|current_state~16
F1L3Q_p1_out = F1L3Q & !dooropen;
F1L3Q_p3_out = F1L2Q & !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT & !stop;
F1L3Q_or_out = F1L3Q_p1_out # F1L3Q_p3_out;
F1L3Q_reg_input = F1L3Q_or_out;
F1L3Q = DFFE(F1L3Q_reg_input, GLOBAL(clk), !clear, , );


--H1_CNT2 is baojing:inst1|CLKGENBAOJING:inst2|CNT2
H1_CNT2_p0_out = F1L2Q & !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT & !stop & !J1_CQI[0];
H1_CNT2_p1_out = J1_CQI[2] & F1L2Q & !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT & !stop;
H1_CNT2_p2_out = F1L2Q & !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT & !stop & J1_CQI[3];
H1_CNT2_p4_out = F1L2Q & !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT & !stop & !J1_CQI[1];
H1_CNT2_or_out = H1L2 # H1_CNT2_p0_out # H1_CNT2_p1_out # H1_CNT2_p2_out # H1_CNT2_p4_out;
H1_CNT2_reg_input = H1_CNT2_or_out;
H1_CNT2_p3_out = !H1_CNTER[3] & H1_CNTER[2] & !H1_CNTER[1] & !H1_CNTER[0] & H1_CNTER[8] & H1_CNTER[7] & H1_CNTER[6] & H1_CNTER[5] & H1_CNTER[4];
H1_CNT2 = TFFE(H1_CNT2_reg_input, H1_CNT2_p3_out, , , );


--H1_NEWCLK is baojing:inst1|CLKGENBAOJING:inst2|NEWCLK
H1_NEWCLK_or_out = !H1_CNT2;
H1_NEWCLK_reg_input = H1_NEWCLK_or_out;
H1_NEWCLK_p3_out = !H1_CNTER[3] & H1_CNTER[2] & !H1_CNTER[1] & !H1_CNTER[0] & H1_CNTER[8] & H1_CNTER[7] & H1_CNTER[6] & H1_CNTER[5] & H1_CNTER[4];
H1_NEWCLK = DFFE(H1_NEWCLK_reg_input, H1_NEWCLK_p3_out, !H1L14, , );


--F1L11 is state_control:inst5|next_state.st4_done~30
F1L11_p1_out = F1L3Q & !dooropen;
F1L11_p2_out = F1L2Q & !F1L1Q & R2_CARRY_OUT & S2_CARRY_OUT & R1_CARRY_OUT & S1_CARRY_OUT & !stop;
F1L11_or_out = F1L11_p1_out # F1L11_p2_out;
F1L11 = F1L11_or_out;


--F1L4 is state_control:inst5|current_state~265
F1L4_p1_out = idefrost & !F1L3Q & !F1L1Q & !F1L2Q;
F1L4 = F1L4_p1_out;


--V1L3 is inputdata:inst3|CNT6:inst5|CQI[0]~105
V1L3_p1_out = idefrost & !F1L3Q & !F1L1Q & !F1L2Q;
V1L3 = V1L3_p1_out;


--V2L3 is inputdata:inst3|CNT6:inst2|CQI[0]~105
V2L3_p1_out = idefrost & !F1L3Q & !F1L1Q & !F1L2Q;
V2L3 = V2L3_p1_out;


--U1L3 is inputdata:inst3|CNT10:inst4|CQI[0]~108
U1L3_p1_out = idefrost & !F1L3Q & !F1L1Q & !F1L2Q;
U1L3 = U1L3_p1_out;


--U2L3 is inputdata:inst3|CNT10:inst1|CQI[0]~112
U2L3_p1_out = idefrost & !F1L3Q & !F1L1Q & !F1L2Q;
U2L3 = U2L3_p1_out;


--U1L8 is inputdata:inst3|CNT10:inst4|CQI[2]~110
U1L8_p1_out = idefrost & !F1L3Q & U1_CQI[1] & U1_CQI[0] & !F1L2Q & !F1L1Q;
U1L8 = U1L8_p1_out;


--U2L8 is inputdata:inst3|CNT10:inst1|CQI[2]~114
U2L8_p1_out = idefrost & !F1L3Q & U2_CQI[1] & U2_CQI[0] & !F1L2Q & !F1L1Q;
U2L8 = U2L8_p1_out;


--V1L8 is inputdata:inst3|CNT6:inst5|CQI[2]~107
V1L8_p1_out = V1_CQI[2] & !V1_CQI[0];
V1L8_p2_out = V1_CQI[2] & V1_CQI[3] & !V1_CQI[1];
V1L8_p3_out = !V1_CQI[2] & V1_CQI[0] & V1_CQI[1] & idefrost & !F1L1Q & !F1L2Q & !F1L3Q;
V1L8 = V1L8_p1_out # V1L8_p2_out # V1L8_p3_out;


--V1L9 is inputdata:inst3|CNT6:inst5|CQI[2]~111
V1L9_p0_out = V1_CQI[2] & !icook & !F1L1Q & !ibake & !idefrost;
V1L9_p1_out = V1_CQI[1] & !V1_CQI[2] & icook & !F1L1Q & V1_CQI[0] & !F1L2Q & !F1L3Q;
V1L9_p2_out = V1_CQI[1] & !V1_CQI[2] & !F1L1Q & V1_CQI[0] & !F1L2Q & !F1L3Q & ibake;
V1L9_p3_out = V1_CQI[1] & !V1_CQI[2] & F1L1Q & V1_CQI[0] & !F1L2Q & !start & !clear;
V1L9_p4_out = V1_CQI[2] & F1L2Q;
V1L9 = V1L8 # V1L9_p0_out # V1L9_p1_out # V1L9_p2_out # V1L9_p3_out # V1L9_p4_out;


--V2L8 is inputdata:inst3|CNT6:inst2|CQI[2]~107
V2L8_p1_out = V2_CQI[2] & !V2_CQI[0];
V2L8_p2_out = V2_CQI[2] & V2_CQI[3] & !V2_CQI[1];
V2L8_p3_out = !V2_CQI[2] & V2_CQI[0] & V2_CQI[1] & idefrost & !F1L1Q & !F1L2Q & !F1L3Q;
V2L8 = V2L8_p1_out # V2L8_p2_out # V2L8_p3_out;


--V2L9 is inputdata:inst3|CNT6:inst2|CQI[2]~111
V2L9_p0_out = V2_CQI[2] & !icook & !F1L1Q & !ibake & !idefrost;
V2L9_p1_out = V2_CQI[1] & !V2_CQI[2] & icook & !F1L1Q & V2_CQI[0] & !F1L2Q & !F1L3Q;
V2L9_p2_out = V2_CQI[1] & !V2_CQI[2] & !F1L1Q & V2_CQI[0] & !F1L2Q & !F1L3Q & ibake;
V2L9_p3_out = V2_CQI[1] & !V2_CQI[2] & F1L1Q & V2_CQI[0] & !F1L2Q & !start & !clear;
V2L9_p4_out = V2_CQI[2] & F1L2Q;
V2L9 = V2L8 # V2L9_p0_out # V2L9_p1_out # V2L9_p2_out # V2L9_p3_out # V2L9_p4_out;


--V1L11 is inputdata:inst3|CNT6:inst5|CQI[3]~117
V1L11_p1_out = idefrost & !F1L3Q & V1_CQI[2] & V1_CQI[1] & V1_CQI[0] & !F1L2Q & !F1L1Q;
V1L11 = V1L11_p1_out;


--V2L11 is inputdata:inst3|CNT6:inst2|CQI[3]~117
V2L11_p1_out = idefrost & !F1L3Q & V2_CQI[2] & V2_CQI[1] & V2_CQI[0] & !F1L2Q & !F1L1Q;
V2L11 = V2L11_p1_out;


--U1L10 is inputdata:inst3|CNT10:inst4|CQI[3]~112
U1L10_p0_out = idefrost & !F1L3Q & U1_CQI[2] & U1_CQI[1] & U1_CQI[0] & !F1L2Q & !F1L1Q;
U1L10_p1_out = idefrost & !F1L3Q & !U1_CQI[2] & !U1_CQI[1] & U1_CQI[0] & !F1L2Q & U1_CQI[3] & !F1L1Q;
U1L10_p2_out = !F1L3Q & !U1_CQI[2] & !U1_CQI[1] & U1_CQI[0] & !F1L2Q & U1_CQI[3] & !F1L1Q & icook;
U1L10_p3_out = !F1L3Q & !U1_CQI[2] & !U1_CQI[1] & U1_CQI[0] & !F1L2Q & U1_CQI[3] & !F1L1Q & ibake;
U1L10_p4_out = !U1_CQI[2] & !U1_CQI[1] & U1_CQI[0] & !F1L2Q & U1_CQI[3] & F1L1Q & !start & !clear;
U1L10 = U1L10_p0_out # U1L10_p1_out # U1L10_p2_out # U1L10_p3_out # U1L10_p4_out;


--U2L10 is inputdata:inst3|CNT10:inst1|CQI[3]~116
U2L10_p0_out = idefrost & !F1L3Q & U2_CQI[2] & U2_CQI[1] & U2_CQI[0] & !F1L2Q & !F1L1Q;
U2L10_p1_out = idefrost & !F1L3Q & !U2_CQI[2] & !U2_CQI[1] & U2_CQI[0] & !F1L2Q & U2_CQI[3] & !F1L1Q;
U2L10_p2_out = !F1L3Q & !U2_CQI[2] & !U2_CQI[1] & U2_CQI[0] & !F1L2Q & U2_CQI[3] & !F1L1Q & icook;
U2L10_p3_out = !F1L3Q & !U2_CQI[2] & !U2_CQI[1] & U2_CQI[0] & !F1L2Q & U2_CQI[3] & !F1L1Q & ibake;
U2L10_p4_out = !U2_CQI[2] & !U2_CQI[1] & U2_CQI[0] & !F1L2Q & U2_CQI[3] & F1L1Q & !start & !clear;
U2L10 = U2L10_p0_out # U2L10_p1_out # U2L10_p2_out # U2L10_p3_out # U2L10_p4_out;


--V1L5 is inputdata:inst3|CNT6:inst5|CQI[1]~119
V1L5_p1_out = V1_CQI[0] & !F1L2Q & idefrost & !F1L1Q & !F1L3Q & V1_CQI[1];
V1L5_p2_out = V1_CQI[0] & !F1L2Q & F1L1Q & V1_CQI[1] & !start & !clear;
V1L5_p3_out = V1_CQI[0] & !F1L2Q & !F1L1Q & !F1L3Q & V1_CQI[1] & icook;
V1L5 = V1L5_p1_out # V1L5_p2_out # V1L5_p3_out;


--V1L6 is inputdata:inst3|CNT6:inst5|CQI[1]~123