research
∙
05/24/2022
Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2
Automatic and efficient verification of multiplier designs, especially t...
share
research
∙
09/29/2020
