# Towards Formal Verification of Optimized and Industrial Multipliers

> Research article (2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020) · cited 46× · AI/ML

**Wikidata**: [openalex:W3036041789](https://www.wikidata.org/wiki/openalex:W3036041789)  
**Source**: https://4ort.xyz/entity/towards-formal-verification-of-optimized-and-industrial-multipliers