NC-Verilog Trademark Details