Publication

Towards Formal Verification of Optimized and Industrial Multipliers

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

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020) March 9-13 Grenoble France 2020.

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