A fault-detecting 400 MHz floating-point unit for a massively-parallel computer | IEEE Conference Publication | IEEE Xplore