3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Mertcan Temel
Automatic and efficient verification of multiplier designs, especially through a provably correct method, is a difficult problem. We show how to utilize a theorem prover, ACL2, to…