module aibnd_red_clkmux2 ( clkout, clk1, clk2, s, vccl_aibnd,
     vssl_aibnd );

output  clkout;

input  clk1, clk2, s, vccl_aibnd, vssl_aibnd;

// List of primary aliased buses

/*
specify 
    specparam CDS_LIBNAME  = "aibnd_lib";
    specparam CDS_CELLNAME = "aibnd_red_clkmux2";
    specparam CDS_VIEWNAME = "schematic";
endspecify
*/

assign clkout = s ?  clk1 : clk2 ;


endmodule