Title: Binary adder architectures for cell-based VLSI and their synthesis