--A1L3 is F_out~9
A1L3_p1_out = EN & clk2;
A1L3_p2_out = !EN & clk1;
A1L3_or_out = A1L3_p1_out # A1L3_p2_out;
A1L3 = A1L3_or_out;


--clk1 is clk1
--operation mode is input

clk1 = INPUT();


--clk2 is clk2
--operation mode is input

clk2 = INPUT();


--EN is EN
--operation mode is input

EN = INPUT();


--F_out is F_out
--operation mode is output

F_out = OUTPUT(A1L3);


