Evaluation of FPGA design tools for safety systems with on-chip redundancy referring to the standard IEC 61508 | IEEE Conference Publication | IEEE Xplore