Publikation
Polynomial Formal Verification of Carry Look-Ahead Adders
Alireza Mahzoon; Rolf Drechsler
In: Bernd Steinbach. Advances in the Boolean Domain. Pages 93-114, ISBN 1-5275-8872-6, Cambridge Scholars Publishing, 2023.
Publikation