Text this: Algorithms for synthesis and testing of asynchronous circuits