Xilinx tools facilitate development of FPGA applications for IEC61508 | IEEE Conference Publication | IEEE Xplore