A tool for automatic generation of self-checking data paths | IEEE Conference Publication | IEEE Xplore