The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Nous introduisons un cadre de synthèse de haut niveau pour synthétiser automatiquement des circuits asynchrones, en particulier des circuits indépendants de la vitesse, à partir d'un langage de programmation concurrent appelé ALPEH. ALPEH est une spécification algorithmique concurrente de haut niveau qui peut modéliser facilement des flux de contrôle simultanés complexes, des calculs logiques et arithmétiques et des communications. Ce langage de spécification a été développé pour être traduit en réseau de Petri. La contribution majeure de cet article est la génération de circuits de contrôle globalement optimisés tout en préservant un formalisme soigné dans la spécification.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copier
Dong-Hoon YOO, Dong-Ik LEE, "Translating Concurrent Programs into Speed-Independent Circuits through Petri Net Transformations" in IEICE TRANSACTIONS on Fundamentals,
vol. E83-A, no. 11, pp. 2203-2211, November 2000, doi: .
Abstract: We introduce a high-level synthesis framework to automatically synthesize asynchronous circuits, especially speed-independent circuits, from a concurrent programming language called ALPEH. ALPEH 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e83-a_11_2203/_p
Copier
@ARTICLE{e83-a_11_2203,
author={Dong-Hoon YOO, Dong-Ik LEE, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Translating Concurrent Programs into Speed-Independent Circuits through Petri Net Transformations},
year={2000},
volume={E83-A},
number={11},
pages={2203-2211},
abstract={We introduce a high-level synthesis framework to automatically synthesize asynchronous circuits, especially speed-independent circuits, from a concurrent programming language called ALPEH. ALPEH 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.},
keywords={},
doi={},
ISSN={},
month={November},}
Copier
TY - JOUR
TI - Translating Concurrent Programs into Speed-Independent Circuits through Petri Net Transformations
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2203
EP - 2211
AU - Dong-Hoon YOO
AU - Dong-Ik LEE
PY - 2000
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E83-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2000
AB - We introduce a high-level synthesis framework to automatically synthesize asynchronous circuits, especially speed-independent circuits, from a concurrent programming language called ALPEH. ALPEH 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.
ER -