Redundant data types and operations in HLS and their use for a robot controller unit fault tolerance evaluation | IEEE Conference Publication | IEEE Xplore