[IEEE 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Grenoble, France (2020.3.9-2020.3.13)] 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Towards Formal Verification of Optimized and Industrial Multipliers
Mahzoon, Alireza, Grose, Daniel, Scholl, Christoph, Drechsler, RolfYear:
2020
DOI:
10.23919/date48585.2020.9116485
File:
PDF, 441 KB
2020