Algorithms For Synthesis And Testing Of Asynchronous Circuits by Luciano Lavagno & Alberto Sangiovanni-Vincentelli