Synthesis of asynchronous circuits-testing unique circuit behavior of signal transition graphs | IEEE Conference Publication | IEEE Xplore