Text this: Synthesis of parallel adders from if-decision diagrams