Automatic and optimized synthesis of dataparts with fault detection or tolerance capabilities | IEEE Conference Publication | IEEE Xplore