Maciej J. Ciesielski, Walter Brown, Duo Liu, André Rossi. Function Extraction from Arithmetic Bit-Level Circuits. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2014, Tampa, FL, USA, July 9-11, 2014. pages 356-361, IEEE, 2014. [doi]
Abstract is missing.