add mixin/verilog