Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/97626
Título:
|
A Structural encoding technique for the synthesis of asynchronous circuits
|
Autor/a:
|
Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors; Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
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. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica -Asynchronous circuits |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem