module aibcr3_clkmux2 ( oclk_out, mux_sel, oclk_in0, oclk_in1, vcc, vssl
     );

output  oclk_out;

input  mux_sel, oclk_in0, oclk_in1, vcc, vssl;

 

assign oclk_out = mux_sel ?  oclk_in1 : oclk_in0 ;



endmodule