Development of Efficient Logic Synthesis and Performance Evaluation Methodologies for Asynchronous Circuits Design Based on Signal Transition Graphs