compare_8_bits.map.eqn

用VERILOG语言实现了8BIT编码器.

--A1L34 is reduce_nor~25
A1L34_p0_out = !A[7] & B[7];
A1L34_p1_out = !A[5] & B[5];
A1L34_p2_out = A[6] & !B[6];
A1L34_p3_out = !A[6] & B[6];
A1L34_p4_out = A[7] & !B[7];
A1L34_or_out = A1L74 # A1L34_p0_out # A1L34_p1_out # A1L34_p2_out # A1L34_p3_out # A1L34_p4_out;
A1L34 = !(A1L34_or_out);


--A1L44 is reduce_nor~32
A1L44_p0_out = !A[7] & B[7];
A1L44_p1_out = !A[5] & B[5];
A1L44_p2_out = A[6] & !B[6];
A1L44_p3_out = !A[6] & B[6];
A1L44_p4_out = A[7] & !B[7];
A1L44_or_out = A1L05 # A1L44_p0_out # A1L44_p1_out # A1L44_p2_out # A1L44_p3_out # A1L44_p4_out;
A1L44 = A1L44_or_out;


--A1L14 is always0~64
A1L14_or_out = B[7];
A1L14 = A[7] $ A1L14_or_out;


--A1L24 is always0~68
A1L24_or_out = B[6];
A1L24 = A[6] $ A1L24_or_out;


--A1L72 is LessThan~696
A1L72 = EXP(B[5] & !A[5]);


--A1L82 is LessThan~697
A1L82 = EXP(B[4] & !A[4]);


--A1L92 is LessThan~698
A1L92 = EXP(B[3] & !A[3]);


--A1L03 is LessThan~699
A1L03 = EXP(B[2] & !A[2]);


--A1L13 is LessThan~700
A1L13 = EXP(B[1] & !A[1]);


--A1L23 is LessThan~706
A1L23_p0_out = A1L72 & A1L82 & A1L92 & A1L03 & A1L13 & A[0] & !B[0];
A1L23_p1_out = A1L72 & !B[4] & A[4];
A1L23_p2_out = A1L72 & A1L82 & !B[3] & A[3];
A1L23_p3_out = A1L72 & A1L82 & A1L92 & !B[2] & A[2];
A1L23_p4_out = A1L72 & A1L82 & A1L92 & A1L03 & !B[1] & A[1];
A1L23_or_out = A1L93 # A1L23_p0_out # A1L23_p1_out # A1L23_p2_out # A1L23_p3_out # A1L23_p4_out;
A1L23 = A1L23_or_out;


--A1L12 is GT~12
A1L12_p1_out = A1L44 & A[7] & !B[7];
A1L12_p2_out = A1L44 & !A1L14 & A[6] & !B[6];
A1L12_p3_out = A1L44 & !A1L14 & !A1L24 & A1L23;
A1L12_or_out = A1L12_p1_out # A1L12_p2_out # A1L12_p3_out;
A1L12 = A1L12_or_out;


--A1L33 is LessThan~711
A1L33 = EXP(A[5] & !B[5]);


--A1L43 is LessThan~712
A1L43 = EXP(A[4] & !B[4]);


--A1L53 is LessThan~713
A1L53 = EXP(A[3] & !B[3]);


--A1L63 is LessThan~714
A1L63 = EXP(A[2] & !B[2]);


--A1L73 is LessThan~715
A1L73 = EXP(A[1] & !B[1]);


--A1L83 is LessThan~721
A1L83_p0_out = A1L33 & A1L43 & A1L53 & A1L63 & A1L73 & !A[0] & B[0];
A1L83_p1_out = A1L33 & !A[4] & B[4];
A1L83_p2_out = A1L33 & A1L43 & !A[3] & B[3];
A1L83_p3_out = A1L33 & A1L43 & A1L53 & !A[2] & B[2];
A1L83_p4_out = A1L33 & A1L43 & A1L53 & A1L63 & !A[1] & B[1];
A1L83_or_out = A1L04 # A1L83_p0_out # A1L83_p1_out # A1L83_p2_out # A1L83_p3_out # A1L83_p4_out;
A1L83 = A1L83_or_out;


--A1L32 is LT~16
A1L32_p0_out = A1L44 & !A1L24 & !A1L14 & !A1L23 & A1L83 & A1L52 & A1L62;
A1L32_p1_out = A1L44 & A1L24 & A1L52 & A1L62 & !A[7] & B[7];
A1L32_p2_out = A1L44 & A1L24 & !A1L14 & A1L52 & A1L62 & !A[6] & B[6];
A1L32_p3_out = A1L44 & !A1L23 & A1L52 & A1L62 & !A[7] & B[7];
A1L32_p4_out = A1L44 & !A1L14 & !A1L23 & A1L52 & A1L62 & !A[6] & B[6];
A1L32_or_out = A1L42 # A1L32_p0_out # A1L32_p1_out # A1L32_p2_out # A1L32_p3_out # A1L32_p4_out;
A1L32 = A1L32_or_out;


--A1L54 is reduce_nor~33
A1L54_p1_out = A[0] & !B[0];
A1L54 = A1L54_p1_out;


--A1L64 is reduce_nor~35
A1L64_p0_out = !A[2] & B[2];
A1L64_p1_out = !A[0] & B[0];
A1L64_p2_out = A[1] & !B[1];
A1L64_p3_out = !A[1] & B[1];
A1L64_p4_out = A[2] & !B[2];
A1L64 = A1L54 # A1L64_p0_out # A1L64_p1_out # A1L64_p2_out # A1L64_p3_out # A1L64_p4_out;


--A1L74 is reduce_nor~41
A1L74_p0_out = A[5] & !B[5];
A1L74_p1_out = A[3] & !B[3];
A1L74_p2_out = !A[3] & B[3];
A1L74_p3_out = A[4] & !B[4];
A1L74_p4_out = !A[4] & B[4];
A1L74 = A1L64 # A1L74_p0_out # A1L74_p1_out # A1L74_p2_out # A1L74_p3_out # A1L74_p4_out;


--A1L84 is reduce_nor~47
A1L84_p1_out = A[0] & !B[0];
A1L84 = A1L84_p1_out;


--A1L94 is reduce_nor~49
A1L94_p0_out = !A[2] & B[2];
A1L94_p1_out = !A[0] & B[0];
A1L94_p2_out = A[1] & !B[1];
A1L94_p3_out = !A[1] & B[1];
A1L94_p4_out = A[2] & !B[2];
A1L94 = A1L84 # A1L94_p0_out # A1L94_p1_out # A1L94_p2_out # A1L94_p3_out # A1L94_p4_out;


--A1L05 is reduce_nor~55
A1L05_p0_out = A[5] & !B[5];
A1L05_p1_out = A[3] & !B[3];
A1L05_p2_out = !A[3] & B[3];
A1L05_p3_out = A[4] & !B[4];
A1L05_p4_out = !A[4] & B[4];
A1L05 = A1L94 # A1L05_p0_out # A1L05_p1_out # A1L05_p2_out # A1L05_p3_out # A1L05_p4_out;


--A1L93 is LessThan~722
A1L93_p1_out = A[5] & !B[5];
A1L93 = A1L93_p1_out;


--A1L04 is LessThan~724
A1L04_p1_out = !A[5] & B[5];
A1L04 = A1L04_p1_out;


--A1L42 is LT~17
A1L42_p1_out = A1L44 & A1L14 & A1L52 & !A[7] & B[7];
A1L42 = A1L42_p1_out;


--A1L52 is LessThan~693sexpbal
A1L52_p1_out = A[7] & !B[7];
A1L52_or_out = A1L52_p1_out;
A1L52 = !(A1L52_or_out);


--A1L62 is LessThan~695sexpbal
A1L62_p1_out = A[6] & !B[6];
A1L62_or_out = A1L62_p1_out;
A1L62 = !(A1L62_or_out);


--A[7] is A[7]
--operation mode is input

A[7] = INPUT();


--A[6] is A[6]
--operation mode is input

A[6] = INPUT();


--A[5] is A[5]
--operation mode is input

A[5] = INPUT();


--A[4] is A[4]
--operation mode is input

A[4] = INPUT();


--A[3] is A[3]
--operation mode is input

A[3] = INPUT();


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

A[2] = INPUT();


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

A[1] = INPUT();


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

A[0] = INPUT();


--B[7] is B[7]
--operation mode is input

B[7] = INPUT();


--B[6] is B[6]
--operation mode is input

B[6] = INPUT();


--B[5] is B[5]
--operation mode is input

B[5] = INPUT();


--B[4] is B[4]
--operation mode is input

B[4] = INPUT();


--B[3] is B[3]
--operation mode is input

B[3] = INPUT();


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

B[2] = INPUT();


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

B[1] = INPUT();


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

B[0] = INPUT();


--EQ is EQ
--operation mode is output

EQ = OUTPUT(A1L34);


--GT is GT
--operation mode is output

GT = OUTPUT(A1L12);


--LT is LT
--operation mode is output

LT = OUTPUT(A1L32);