--A1L04 is always0~131
A1L04_or_out = Position_Set[8];
A1L04 = Position_Data[8] $ A1L04_or_out;


--A1L14 is always0~135
A1L14_or_out = Position_Set[9];
A1L14 = Position_Data[9] $ A1L14_or_out;


--A1L24 is always0~139
A1L24_or_out = Position_Set[10];
A1L24 = Position_Data[10] $ A1L24_or_out;


--A1L34 is always0~143
A1L34_or_out = Position_Set[11];
A1L34 = Position_Data[11] $ A1L34_or_out;


--A1L3 is Position_Adjust_Out~10
A1L3_p1_out = !A1L04 & !A1L14 & !A1L24 & !A1L34 & A1L23 & A1L25 & A1L33 & A1L35 & A1L43 & A1L45 & A1L53 & A1L55 & A1L63 & A1L65 & A1L73 & A1L75 & A1L83 & A1L85 & A1L93 & A1L95;
A1L3_or_out = A1L3_p1_out # !Position_Adjust_Select # Reset # En;
A1L3 = !(A1L3_or_out);


--A1L23 is always0~99sexp
A1L23 = EXP(Position_Data[0] & !Position_Set[0]);


--A1L25 is always0~155
A1L25 = EXP(!Position_Data[0] & Position_Set[0]);


--A1L33 is always0~103sexp
A1L33 = EXP(Position_Data[1] & !Position_Set[1]);


--A1L35 is always0~156
A1L35 = EXP(!Position_Data[1] & Position_Set[1]);


--A1L43 is always0~107sexp
A1L43 = EXP(Position_Data[2] & !Position_Set[2]);


--A1L45 is always0~157
A1L45 = EXP(!Position_Data[2] & Position_Set[2]);


--A1L53 is always0~111sexp
A1L53 = EXP(Position_Data[3] & !Position_Set[3]);


--A1L55 is always0~158
A1L55 = EXP(!Position_Data[3] & Position_Set[3]);


--A1L63 is always0~115sexp
A1L63 = EXP(Position_Data[4] & !Position_Set[4]);


--A1L65 is always0~159
A1L65 = EXP(!Position_Data[4] & Position_Set[4]);


--A1L73 is always0~119sexp
A1L73 = EXP(Position_Data[5] & !Position_Set[5]);


--A1L75 is always0~160
A1L75 = EXP(!Position_Data[5] & Position_Set[5]);


--A1L83 is always0~123sexp
A1L83 = EXP(Position_Data[6] & !Position_Set[6]);


--A1L85 is always0~161
A1L85 = EXP(!Position_Data[6] & Position_Set[6]);


--A1L93 is always0~127sexp
A1L93 = EXP(Position_Data[7] & !Position_Set[7]);


--A1L95 is always0~162
A1L95 = EXP(!Position_Data[7] & Position_Set[7]);


--Reset is Reset
--operation mode is input

Reset = INPUT();


--En is En
--operation mode is input

En = INPUT();


--Position_Adjust_Select is Position_Adjust_Select
--operation mode is input

Position_Adjust_Select = INPUT();


--Position_Data[11] is Position_Data[11]
--operation mode is input

Position_Data[11] = INPUT();


--Position_Data[10] is Position_Data[10]
--operation mode is input

Position_Data[10] = INPUT();


--Position_Data[9] is Position_Data[9]
--operation mode is input

Position_Data[9] = INPUT();


--Position_Data[8] is Position_Data[8]
--operation mode is input

Position_Data[8] = INPUT();


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

Position_Data[7] = INPUT();


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

Position_Data[6] = INPUT();


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

Position_Data[5] = INPUT();


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

Position_Data[4] = INPUT();


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

Position_Data[3] = INPUT();


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

Position_Data[2] = INPUT();


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

Position_Data[1] = INPUT();


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

Position_Data[0] = INPUT();


--Position_Set[11] is Position_Set[11]
--operation mode is input

Position_Set[11] = INPUT();


--Position_Set[10] is Position_Set[10]
--operation mode is input

Position_Set[10] = INPUT();


--Position_Set[9] is Position_Set[9]
--operation mode is input

Position_Set[9] = INPUT();


--Position_Set[8] is Position_Set[8]
--operation mode is input

Position_Set[8] = INPUT();


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

Position_Set[7] = INPUT();


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

Position_Set[6] = INPUT();


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

Position_Set[5] = INPUT();


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

Position_Set[4] = INPUT();


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

Position_Set[3] = INPUT();


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

Position_Set[2] = INPUT();


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

Position_Set[1] = INPUT();


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

Position_Set[0] = INPUT();


--Position_Adjust_Out is Position_Adjust_Out
--operation mode is output

Position_Adjust_Out = OUTPUT(A1L3);


