Publication

Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability

Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler

In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC) July 10-14 San Francisco United States 2022.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz