Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra.

Published in: Int. J. Softw. Tools Technol. Transf. (2023)

Keyphrases