Simulation-Based Verification of Floating-Point Division | IEEE Journals & Magazine | IEEE Xplore