added iverilog extension documentation