@misc{su:hal-02569466,
TITLE = {Formal Verification of Constrained Arithmetic Circuits Using Computer Algebraic Approach},
AUTHOR = {Su, Tiankai and Yasin, Atif and Pillement, S{\'e}bastien and Ciesielski, Maciej},
URL = {https://hal.science/hal-02569466},
NOTE = {Poster},
HOWPUBLISHED = {IEEE International Symposium on VLSI},
SERIES = {ISVLSI'20},
PAGES = {paper \#1570638028},
YEAR = {2020},
MONTH = Jul, KEYWORDS = {Formal Verification ; Computer Algebra ; Arithmetic Circuits ; Arithmetic Constraints},
HAL_ID = {hal-02569466},
HAL_VERSION = {v1},
}