add verilog xpt