verilogA reference manual