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
Introduzimos uma estrutura de síntese de alto nível para sintetizar automaticamente circuitos assíncronos, especialmente circuitos independentes de velocidade, a partir de uma linguagem de programação simultânea chamada ALPEH. ALPEH é uma especificação algorítmica simultânea de alto nível que pode modelar fluxos de controle simultâneos complexos, cálculos lógicos e aritméticos e comunicações de maneira fácil. Esta linguagem de especificação foi desenvolvida para ser traduzida em uma rede de Petri. A principal contribuição deste artigo é a geração de circuitos de controle globalmente otimizados preservando o formalismo puro na especificação.
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.
Copiar
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
Copiar
@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},}
Copiar
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 -