Plugin-tag: verilog