Αποστολή με SMS: Algorithms for synthesis and testing of asynchronous circuits