// not needed is treated as blackbox
/*module muxxor_4T (
  input a_i,b_i,not_b_i,in0_i,in1_i,
  output out
);
endmodule*/

// needed to rename ports outerwise they are optimized away
module muxxor_inv (
    input a,b,in0,in1,
    output o
);
  muxxor_4T s_xor (.a_i(a), .b_i(b), .not_b_i(~b), .in0_i(in0), .in1_i(in1), .out_i(o));
endmodule