Word level model checking-avoiding the Pentium FDIV error | IEEE Conference Publication | IEEE Xplore