Text this: Signal Transition Graphs for Asynchronous Data Path Circuits