Formally verifying FP division with Gappa part 1
community.arm.com
Learn the basics of using Gappa for numerical error analysis, using floating-point division in Arm machine code as a case study.