Functional Verification of Hardware Dividers using Algebraic Model | IEEE Conference Publication | IEEE Xplore