A Structural encoding technique for the synthesis of asynchronous circuits
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97626
Tipus de documentReport de recerca
Data publicació2000-12
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". 2000.
Forma partLSI-00-82-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R00-82.ps | 448,8Kb | Postscript | Visualitza/Obre |