Synthesis of dual-rail datapath circuits. - Shal Vishal (2008)