added verilog version
documentation updates