Algorithms for synthesis and testing of asynchronous circuits | lit.salon