“…Datapath circuits often form a significant part of a modern integrated circuit (IC), and in many cases the critical timing path of these ICs passes through them. Traditional logic synthesis techniques [1,5,7,8], which perform well on the control parts of the logic of the IC, are not well suited to optimize datapaths. Logic synthesis techniques based on algebraic optimizations are too limited to use the full spectrum of optimizations that are potentially available in datapaths due to the many existing symmetries.…”