Translating Concurrent Programs into Speed-Independent Circuits through Petri Net Transformations (Special Section on Concurrent Systems Technology)
スポンサーリンク
概要
- 論文の詳細を見る
We introduce a high-level synthesis framework to automatically synthesize asynchronous circuits, especially speed-independent circuits, from a concurrent programming language called ALEPH. ALEPH 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 has 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.
- 一般社団法人電子情報通信学会の論文
- 2000-11-25
著者
-
Lee Dong-ik
The Department Of Information And Communications Kwang-ju Institute Of Science And Technology
-
Lee Dong-ik
The Department Of Info.& Comm. K-jist
-
Yoo Dong-hoon
The Department Of Information And Communications Kwang-ju Institute Of Science And Technology
関連論文
- Test Generation for SI Asynchronous Circuits with Undetectable Faults from Signal Transition Graph Specification(Special Section on Papers Selected from ITC-CSCC 2000)
- A Basic Theorem for Modular Synthesis of State Machine Allocatable Nets(Special Section on Concurrent Systems Technology)
- Performance and Scalability Issues in Mobile Agent Based Workflow Systems(IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
- Translating Concurrent Programs into Speed-Independent Circuits through Petri Net Transformations (Special Section on Concurrent Systems Technology)