Ingmar Neumann Dominik Stoffel Kolja Sulimma Michel R. C. M. Berkelaar Wolfgang Kunz Layout Driven Optimization of Datapath Circuits using Arithmetic Reasoning. 350-353 2004 conf/iccd/2004 ICCD http://csdl.computer.org/comp/proceedings/iccd/2004/2231/00/22310350abs.htm db/conf/iccd/iccd2004.html#NeumannSSBK04