La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

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

Translating Concurrent Programs into Speed-Independent Circuits through Petri Net Transformations Traduire des programmes simultanés en circuits indépendants de la vitesse grâce aux transformations des réseaux de Petri

Dong-Hoon YOO, Dong-Ik LEE

  • Vues en texte intégral

    0

  • Citer

Résumé:

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.

Publication
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.11 pp.2203-2211
Date de publication
2000/11/25
Publicisé
ISSN en ligne
DOI
Type de manuscrit
Special Section PAPER (Special Section on Concurrent Systems Technology)
Catégories

Auteurs

Mots-clés

Table des matières