fixed typo
added initial verilog support to xilinx-isim