Verilog simulation of Xilinx designs | IEEE Conference Publication | IEEE Xplore