graycode.map.eqn

二进制码转换为格雷码

--A1L2 is EN~1
A1L2_or_out = !EN;
A1L2 = A1L2_or_out;


--A1L41 is i9~10
A1L41_p1_out = EN & data_in[3];
A1L41_p2_out = !EN & A1L41;
A1L41_p3_out = data_in[3] & A1L41;
A1L41_or_out = A1L41_p1_out # A1L41_p2_out # A1L41_p3_out;
A1L41 = A1L41_or_out;


--A1L51 is i10~43
A1L51_p0_out = !data_in[3] & data_in[2] & A1L51;
A1L51_p1_out = data_in[3] & !data_in[2] & EN;
A1L51_p2_out = !data_in[3] & data_in[2] & EN;
A1L51_p3_out = !EN & A1L51;
A1L51_p4_out = data_in[3] & !data_in[2] & A1L51;
A1L51_or_out = A1L51_p0_out # A1L51_p1_out # A1L51_p2_out # A1L51_p3_out # A1L51_p4_out;
A1L51 = A1L51_or_out;


--A1L61 is i11~43
A1L61_p0_out = !data_in[2] & data_in[1] & A1L61;
A1L61_p1_out = data_in[2] & !data_in[1] & EN;
A1L61_p2_out = !data_in[2] & data_in[1] & EN;
A1L61_p3_out = !EN & A1L61;
A1L61_p4_out = data_in[2] & !data_in[1] & A1L61;
A1L61_or_out = A1L61_p0_out # A1L61_p1_out # A1L61_p2_out # A1L61_p3_out # A1L61_p4_out;
A1L61 = A1L61_or_out;


--A1L71 is i12~43
A1L71_p0_out = !data_in[1] & data_in[0] & A1L71;
A1L71_p1_out = data_in[1] & !data_in[0] & EN;
A1L71_p2_out = !data_in[1] & data_in[0] & EN;
A1L71_p3_out = !EN & A1L71;
A1L71_p4_out = data_in[1] & !data_in[0] & A1L71;
A1L71_or_out = A1L71_p0_out # A1L71_p1_out # A1L71_p2_out # A1L71_p3_out # A1L71_p4_out;
A1L71 = A1L71_or_out;


--EN is EN
--operation mode is input

EN = INPUT();


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

data_in[3] = INPUT();


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

data_in[2] = INPUT();


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

data_in[1] = INPUT();


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

data_in[0] = INPUT();


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

data_out[4] = OUTPUT(A1L2);


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

data_out[3] = OUTPUT(A1L41);


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

data_out[2] = OUTPUT(A1L51);


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

data_out[1] = OUTPUT(A1L61);


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

data_out[0] = OUTPUT(A1L71);