Polynomial time algorithm for area and power efficient adder synthesis in high-performance designsSubhendu RoyMihir Choudhuryet al.2015ASP-DAC 2015