Publikation

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.

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