Synthesis of Asynchronous VLSI Circuits from Signal Transition Graph Specifications(信号遷移グラフ仕様による非同期式VLSI回路の合成)