A structural encoding technique for the synthesis of asynchronous circuits
Visualitza/Obre
Cita com:
hdl:2117/133434
Tipus de documentText en actes de congrés
Data publicació2001
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is always guaranteed. Moreover, a set of transformations is presented for the subclass of Free-Choice Petri nets that enables the exploration of different solutions. All transformations preserve the property of free-choiceness, thus enabling the use of structural methods for the synthesis of asynchronous circuits. Preliminary experimental results indicate that the quality of the circuits is comparable to that obtained by methods that require an exhaustive enumeration of the state space. This novel synthesis method opens the door to the synthesis of large control specifications generated from hardware description languages.
CitacióCarmona, J.; Cortadella, J.; Pastor, E. A structural encoding technique for the synthesis of asynchronous circuits. A: International Conference on Application of Concurrency to System Design. "Second International Conference on Application of Concurrency to System Design, 25-29 June 2001, Newcastle upon Tyne, UK: proceedings". Institute of Electrical and Electronics Engineers (IEEE), 2001, p. 157-166.
ISBN0-7695-1071-X
Versió de l'editorhttps://ieeexplore.ieee.org/document/981773
Col·leccions
- Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.274]
- ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals - Ponències/Comunicacions de congressos [334]
- CAP - Grup de Computació d'Altes Prestacions - Ponències/Comunicacions de congressos [784]
- Departament d'Arquitectura de Computadors - Ponències/Comunicacions de congressos [1.954]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
00981773.pdf | 316,0Kb | Visualitza/Obre |