2010年 Verification of Dependency Graph Pipelining Algorithm for Synthesizing Asynchronous Control Circuits 巻 J93-D 号 11 開始ページ 2343 終了ページ 2353 エクスポート BibTeX RIS