Fix xilinx tests