Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis

Tiankai Su, Cunxi Yu, Atif Yasin, Maciej J. Ciesielski. Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis. In 2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017, Bochum, Germany, July 3-5, 2017. pages 415-420, IEEE, 2017. [doi]

Abstract

Abstract is missing.