nc verilog users' guide