Text this: Double-rail encoded self-timed adder with matched delays