signal.map.eqn

一个简单的多种信号的发生器 包括正玄

--G1L42 is signal5:inst10|display[3]~1094
--operation mode is normal

G1L42 = G1_q[4] & (G1L22 & (!G1L32) # !G1L22 & !G1L91) # !G1_q[4] & (G1L22);


--C1_tmp[3] is signal1:inst|tmp[3]
--operation mode is arithmetic

C1_tmp[3]_carry_eqn = C1L51;
C1_tmp[3]_lut_out = C1_a $ C1_tmp[3] $ !C1_tmp[3]_carry_eqn;
C1_tmp[3] = DFFEAS(C1_tmp[3]_lut_out, clk, reset, , , C1L2, , , C1L61);

--C1L81 is signal1:inst|tmp[3]~375
--operation mode is arithmetic

C1L81 = CARRY(C1_a & (C1_tmp[3] # !C1L51) # !C1_a & C1_tmp[3] & !C1L51);


--D1_tmp[3] is signal2:inst1|tmp[3]
--operation mode is arithmetic

D1_tmp[3]_carry_eqn = D1L5;
D1_tmp[3]_lut_out = D1_tmp[3] $ (!D1_tmp[3]_carry_eqn);
D1_tmp[3] = DFFEAS(D1_tmp[3]_lut_out, clk, reset, , , , , , );

--D1L7 is signal2:inst1|tmp[3]~86
--operation mode is arithmetic

D1L7 = CARRY(D1_tmp[3] & (!D1L5));


--E1_tmp[3] is signal3:inst2|tmp[3]
--operation mode is arithmetic

E1_tmp[3]_carry_eqn = E1L7;
E1_tmp[3]_lut_out = E1_tmp[3] $ (!E1_tmp[3]_carry_eqn);
E1_tmp[3] = DFFEAS(E1_tmp[3]_lut_out, clk, VCC, , , VCC, !reset, , );

--E1L9 is signal3:inst2|tmp[3]~89
--operation mode is arithmetic

E1L9 = CARRY(!E1_tmp[3] & (!E1L7));


--B2L61 is selectsignal:inst7|Mux~532
--operation mode is normal

B2L61 = sel[1] $ !sel[0];


--B2L71 is selectsignal:inst7|Mux~533
--operation mode is normal

B2L71 = B2L61 & (!B2L6) # !B2L61 & (B2L6 & D1_tmp[3] # !B2L6 & (E1_tmp[3]));


--B2L81 is selectsignal:inst7|Mux~534
--operation mode is normal

B2L81 = B2L5 & (B2L71) # !B2L5 & (B2L71 & (C1_tmp[3]) # !B2L71 & G1L42);


--B2_q[3] is selectsignal:inst7|q[3]
--operation mode is normal

B2_q[3] = B2L4 & B2L81 # !B2L4 & (B2_q[3]);


--G1L31 is signal5:inst10|display[2]~1095
--operation mode is normal

G1L31 = G1_q[0] & G1_q[3] & (G1_q[1] $ !G1_q[2]) # !G1_q[0] & (G1_q[1] & !G1_q[2] & !G1_q[3] # !G1_q[1] & G1_q[2]);


--G1L41 is signal5:inst10|display[2]~1096
--operation mode is normal

G1L41 = G1_q[0] & (G1_q[1] & G1_q[2] # !G1_q[1] & (!G1_q[3] # !G1_q[2])) # !G1_q[0] & (G1_q[3] # G1_q[1] $ G1_q[2]);


--G1L51 is signal5:inst10|display[2]~1097
--operation mode is normal

G1L51 = G1_q[1] & (G1_q[0] # G1_q[2] & !G1_q[3]) # !G1_q[1] & G1_q[3] & (G1_q[0] $ !G1_q[2]);


--G1L61 is signal5:inst10|display[2]~1098
--operation mode is normal

G1L61 = G1_q[5] & (G1_q[4]) # !G1_q[5] & (G1_q[4] & !G1L41 # !G1_q[4] & (!G1L51));


--G1L71 is signal5:inst10|display[2]~1099
--operation mode is normal

G1L71 = G1_q[1] & (G1_q[3] # G1_q[0] $ G1_q[2]) # !G1_q[1] & G1_q[0] & (G1_q[2] # !G1_q[3]);


--G1L81 is signal5:inst10|display[2]~1100
--operation mode is normal

G1L81 = G1_q[5] & (G1L61 & (G1L71) # !G1L61 & G1L31) # !G1_q[5] & (G1L61);


--C1_tmp[2] is signal1:inst|tmp[2]
--operation mode is arithmetic

C1_tmp[2]_carry_eqn = C1L31;
C1_tmp[2]_lut_out = C1_a $ C1_tmp[2] $ C1_tmp[2]_carry_eqn;
C1_tmp[2] = DFFEAS(C1_tmp[2]_lut_out, clk, reset, , , C1L2, , , C1L61);

--C1L51 is signal1:inst|tmp[2]~379
--operation mode is arithmetic

C1L51 = CARRY(C1_a & !C1_tmp[2] & !C1L31 # !C1_a & (!C1L31 # !C1_tmp[2]));


--D1_tmp[2] is signal2:inst1|tmp[2]
--operation mode is arithmetic

D1_tmp[2]_carry_eqn = D1L3;
D1_tmp[2]_lut_out = D1_tmp[2] $ (D1_tmp[2]_carry_eqn);
D1_tmp[2] = DFFEAS(D1_tmp[2]_lut_out, clk, reset, , , , , , );

--D1L5 is signal2:inst1|tmp[2]~90
--operation mode is arithmetic

D1L5 = CARRY(!D1L3 # !D1_tmp[2]);


--E1_tmp[2] is signal3:inst2|tmp[2]
--operation mode is arithmetic

E1_tmp[2]_carry_eqn = E1L5;
E1_tmp[2]_lut_out = E1_tmp[2] $ (E1_tmp[2]_carry_eqn);
E1_tmp[2] = DFFEAS(E1_tmp[2]_lut_out, clk, VCC, , , VCC, !reset, , );

--E1L7 is signal3:inst2|tmp[2]~93
--operation mode is arithmetic

E1L7 = CARRY(E1_tmp[2] # !E1L5);


--B2L91 is selectsignal:inst7|Mux~535
--operation mode is normal

B2L91 = B2L61 & (!B2L6) # !B2L61 & (B2L6 & D1_tmp[2] # !B2L6 & (E1_tmp[2]));


--B2L02 is selectsignal:inst7|Mux~536
--operation mode is normal

B2L02 = B2L5 & (B2L91) # !B2L5 & (B2L91 & (C1_tmp[2]) # !B2L91 & G1L81);


--B2_q[2] is selectsignal:inst7|q[2]
--operation mode is normal

B2_q[2] = B2L4 & B2L02 # !B2L4 & (B2_q[2]);


--G1L7 is signal5:inst10|display[1]~1101
--operation mode is normal

G1L7 = G1_q[3] & !G1_q[2] & (!G1_q[1] # !G1_q[0]) # !G1_q[3] & (G1_q[1] $ (!G1_q[0] & G1_q[2]));


--G1L8 is signal5:inst10|display[1]~1102
--operation mode is normal

G1L8 = G1_q[3] & (G1_q[1] $ (G1_q[2] # !G1_q[0])) # !G1_q[3] & G1_q[2] & (G1_q[0] # G1_q[1]);


--G1L9 is signal5:inst10|display[1]~1103
--operation mode is normal

G1L9 = G1_q[1] & (G1_q[0] $ !G1_q[2] # !G1_q[3]) # !G1_q[1] & !G1_q[0] & (G1_q[2] $ G1_q[3]);


--G1L01 is signal5:inst10|display[1]~1104
--operation mode is normal

G1L01 = G1_q[4] & (G1_q[5]) # !G1_q[4] & (G1_q[5] & G1L8 # !G1_q[5] & (!G1L9));


--G1L11 is signal5:inst10|display[1]~1105
--operation mode is normal

G1L11 = G1_q[1] & (G1_q[2] $ !G1_q[3] # !G1_q[0]) # !G1_q[1] & !G1_q[3] & (G1_q[0] $ G1_q[2]);


--G1L21 is signal5:inst10|display[1]~1106
--operation mode is normal

G1L21 = G1_q[4] & (G1L01 & (G1L11) # !G1L01 & G1L7) # !G1_q[4] & (G1L01);


--C1_tmp[1] is signal1:inst|tmp[1]
--operation mode is arithmetic

C1_tmp[1]_carry_eqn = C1L01;
C1_tmp[1]_lut_out = C1_a $ C1_tmp[1] $ !C1_tmp[1]_carry_eqn;
C1_tmp[1] = DFFEAS(C1_tmp[1]_lut_out, clk, reset, , , C1L2, , , C1L61);

--C1L31 is signal1:inst|tmp[1]~383
--operation mode is arithmetic

C1L31 = CARRY(C1_a & (C1_tmp[1] # !C1L01) # !C1_a & C1_tmp[1] & !C1L01);


--D1_tmp[1] is signal2:inst1|tmp[1]
--operation mode is arithmetic

D1_tmp[1]_lut_out = F1_tmp[4] $ D1_tmp[1];
D1_tmp[1] = DFFEAS(D1_tmp[1]_lut_out, clk, reset, , , , , , );

--D1L3 is signal2:inst1|tmp[1]~94
--operation mode is arithmetic

D1L3 = CARRY(F1_tmp[4] & D1_tmp[1]);


--E1_tmp[1] is signal3:inst2|tmp[1]
--operation mode is arithmetic

E1_tmp[1]_carry_eqn = E1L3;
E1_tmp[1]_lut_out = E1_tmp[1] $ (!E1_tmp[1]_carry_eqn);
E1_tmp[1] = DFFEAS(E1_tmp[1]_lut_out, clk, VCC, , , VCC, !reset, , );

--E1L5 is signal3:inst2|tmp[1]~97
--operation mode is arithmetic

E1L5 = CARRY(!E1_tmp[1] & (!E1L3));


--B2L12 is selectsignal:inst7|Mux~537
--operation mode is normal

B2L12 = B2L61 & (!B2L6) # !B2L61 & (B2L6 & D1_tmp[1] # !B2L6 & (E1_tmp[1]));


--B2L22 is selectsignal:inst7|Mux~538
--operation mode is normal

B2L22 = B2L5 & (B2L12) # !B2L5 & (B2L12 & (C1_tmp[1]) # !B2L12 & G1L21);


--B2_q[1] is selectsignal:inst7|q[1]
--operation mode is normal

B2_q[1] = B2L4 & B2L22 # !B2L4 & (B2_q[1]);


--G1L1 is signal5:inst10|display[0]~1107
--operation mode is normal

G1L1 = G1_q[0] & (!G1_q[2] & G1_q[3] # !G1_q[1]) # !G1_q[0] & !G1_q[1] & (G1_q[2] # G1_q[3]);


--G1L2 is signal5:inst10|display[0]~1108
--operation mode is normal

G1L2 = G1_q[0] & G1_q[1] & (!G1_q[3] # !G1_q[2]) # !G1_q[0] & (G1_q[1] # G1_q[2] & !G1_q[3]);


--G1L3 is signal5:inst10|display[0]~1109
--operation mode is normal

G1L3 = G1_q[3] & (G1_q[2] $ (G1_q[0] & G1_q[1])) # !G1_q[3] & !G1_q[2] & (G1_q[0] $ G1_q[1]);


--G1L4 is signal5:inst10|display[0]~1110
--operation mode is normal

G1L4 = G1_q[5] & (G1_q[4]) # !G1_q[5] & (G1_q[4] & G1L2 # !G1_q[4] & (!G1L3));


--G1L5 is signal5:inst10|display[0]~1111
--operation mode is normal

G1L5 = G1_q[3] & G1_q[2] & (G1_q[0] $ G1_q[1]) # !G1_q[3] & (G1_q[2] $ (G1_q[0] # G1_q[1]));


--G1L6 is signal5:inst10|display[0]~1112
--operation mode is normal

G1L6 = G1_q[5] & (G1L4 & (!G1L5) # !G1L4 & G1L1) # !G1_q[5] & (G1L4);


--C1_tmp[0] is signal1:inst|tmp[0]
--operation mode is arithmetic

C1_tmp[0]_carry_eqn = C1L11;
C1_tmp[0]_lut_out = C1_a $ C1_tmp[0] $ !C1_tmp[0]_carry_eqn;
C1_tmp[0] = DFFEAS(C1_tmp[0]_lut_out, clk, reset, , , C1L2, , , C1L61);

--C1L01 is signal1:inst|tmp[0]~387
--operation mode is arithmetic

C1L01 = CARRY(C1_a & (!C1L11 # !C1_tmp[0]) # !C1_a & !C1_tmp[0] & !C1L11);


--E1_tmp[0] is signal3:inst2|tmp[0]
--operation mode is arithmetic

E1_tmp[0]_lut_out = !E1_tmp[0];
E1_tmp[0] = DFFEAS(E1_tmp[0]_lut_out, clk, VCC, , , VCC, !reset, , );

--E1L3 is signal3:inst2|tmp[0]~101
--operation mode is arithmetic

E1L3 = CARRY(E1_tmp[0]);


--B2L32 is selectsignal:inst7|Mux~539
--operation mode is normal

B2L32 = B2L61 & (!B2L6) # !B2L61 & (B2L6 & F1_tmp[4] # !B2L6 & (E1_tmp[0]));


--B2L42 is selectsignal:inst7|Mux~540
--operation mode is normal

B2L42 = B2L5 & (B2L32) # !B2L5 & (B2L32 & (C1_tmp[0]) # !B2L32 & G1L6);


--B2_q[0] is selectsignal:inst7|q[0]
--operation mode is normal

B2_q[0] = B2L4 & B2L42 # !B2L4 & (B2_q[0]);


--C1_a is signal1:inst|a
--operation mode is normal

C1_a_lut_out = C1_a & C1L3 # !C1_a & (C1L6 & C1L7);
C1_a = DFFEAS(C1_a_lut_out, clk, VCC, , reset, , , , );


--C1L4 is signal1:inst|reduce_nor~87
--operation mode is normal

C1L4 = C1_tmp[7] # C1_tmp[6];


--C1L5 is signal1:inst|reduce_nor~88
--operation mode is normal

C1L5 = C1_tmp[3] # C1_tmp[2] # C1_tmp[1] # !C1_tmp[0];


--C1L3 is signal1:inst|reduce_nor~1
--operation mode is normal

C1L3 = C1_tmp[5] # C1_tmp[4] # C1L4 # C1L5;


--C1L6 is signal1:inst|reduce_nor~89
--operation mode is normal

C1L6 = C1_tmp[7] & C1_tmp[6] & C1_tmp[5] & C1_tmp[4];


--C1L7 is signal1:inst|reduce_nor~90
--operation mode is normal

C1L7 = C1_tmp[3] & C1_tmp[2] & C1_tmp[1] & !C1_tmp[0];


--C1L61 is signal1:inst|tmp[2]~390
--operation mode is normal

C1L61 = C1_a & !C1L3 # !C1_a & (C1L6 & C1L7);


--F1L1 is signal4:inst3|add~77
--operation mode is normal

F1L1 = F1_tmp[6] & F1_tmp[5] & F1_tmp[4];


--F1L2 is signal4:inst3|add~78
--operation mode is normal

F1L2 = F1_tmp[5] & F1_tmp[4];


--C1L11 is signal1:inst|tmp[0]~393
--operation mode is arithmetic

C1L11 = CARRY(C1_a);


--sel[1] is sel[1]
--operation mode is input

sel[1] = INPUT();


--sel[0] is sel[0]
--operation mode is input

sel[0] = INPUT();


--sel[2] is sel[2]
--operation mode is input

sel[2] = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


--reset is reset
--operation mode is input

reset = INPUT();


--q[7] is q[7]
--operation mode is output

q[7] = OUTPUT(B2_q[7]);


--q[6] is q[6]
--operation mode is output

q[6] = OUTPUT(B2_q[6]);


--q[5] is q[5]
--operation mode is output

q[5] = OUTPUT(B2_q[5]);


--q[4] is q[4]
--operation mode is output

q[4] = OUTPUT(B2_q[4]);


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

q[3] = OUTPUT(B2_q[3]);


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

q[2] = OUTPUT(B2_q[2]);


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

q[1] = OUTPUT(B2_q[1]);


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

q[0] = OUTPUT(B2_q[0]);


--C1L2 is signal1:inst|a~49
--operation mode is normal

C1L2 = !C1_a;