Formal Verification of Arithmetic Circuits by Function Extraction

Cunxi Yu, Walter Brown, Duo Liu, André Rossi, Maciej J. Ciesielski. Formal Verification of Arithmetic Circuits by Function Extraction. IEEE Trans. on CAD of Integrated Circuits and Systems, 35(12):2131-2142, 2016. [doi]

Abstract

Abstract is missing.