Atif Yasin, Tiankai Su, Sébastien Pillement, Maciej J. Ciesielski. Functional Verification of Hardware Dividers using Algebraic Model. In 27th IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cuzco, Peru, October 6-9, 2019. pages 257-262, IEEE, 2019. [doi]
Abstract is missing.