Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Alireza Mahzoon, Rolf Drechsler. Late Breaking Results: Polynomial Formal Verification of Fast Adders. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 1376-1377, IEEE, 2021. [doi]