synth_opt_adders icon indicating copy to clipboard operation
synth_opt_adders copied to clipboard

Published 20 hours ago • verified publisher icon tdene

Add support for formal equivalence checking

Open mithro opened this issue 3 years ago • 0 comments

It would be good to be able to use Yosys's formal equivalence checking functionality to check that various forms of the adders are actually equivalent.

mithro avatar Feb 07 '22 17:02 mithro