VERILOG

Same as #1 but couple of minor cleanups.