Algorithms for synthesis and testing of asynchronous circuits

by Luciano Lavagno