@misc{yasin:hal-02159933,
TITLE = {Functional Verification of Hardware Dividers using Algebraic Model},
AUTHOR = {Yasin, Atif and Su, Tiankai and Pillement, S{\'e}bastien and Ciesielski, Maciej},
URL = {https://hal.science/hal-02159933},
NOTE = {Poster},
HOWPUBLISHED = {IFIP/IEEE International Conference on Very Large Scale Integration},
SERIES = {VLSI-SoC 2019},
PAGES = {paper\#109},
YEAR = {2019},
MONTH = Oct, HAL_ID = {hal-02159933},
HAL_VERSION = {v1},
}