Development of Efficient Logic Synthesis Algorithm and Automation Tools for Asynchronous Circuit Designs Based on Signal Transition Graphs