"Algorithms for Synthesis and Testing of Asynchronous Circuits" - читать интересную книгу автора (Luciano Lavagno, Alberto Sangiovanni-Vincentelli)