Maciej J. Ciesielski, Cunxi Yu, Walter Brown, Duo Liu, André Rossi. Verification of gate-level arithmetic circuits by function extraction. In Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015. pages 52, ACM, 2015. [doi]
Abstract is missing.