xilinx-isim documentation updates