Email Record: Algorithms for synthesis and testing of asynchronous circuits /