Translating concurrent programs into speed-independent circuits through Petri net transformations

作     者：Yoo, DH Lee, DI 

作者机构：Kwang Ju Inst Sci & Technol Dept Informat & Commun Puk Gu Kwangju 500712 South Korea 

出 版 物：《IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES》 (电子信息通信学会汇刊：电子学、通信及计算机科学基础)

年 卷 期：2000年第E83A卷第11期

页      面：2203-2211页

核心收录：

学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：asynchronous circuit speed-independent circuit concurrent programming Petri net synthesis 

摘      要：We introduce a high-level synthesis framework to automatically synthesize asynchronous circuits, especially speed-independent circuits, from a concurrent programming language called ALEPII. ALEPII is a,high-level concurrent algorithmic specification that can model complex concurrent control flows, logical and arithmetic computations, and communications in easy way. This specification language lias been developed to be translated into a Petri net. The major contribution of this paper is the generation of globally optimized control circuits during preserving neat formalism in the specification.