Sciweavers

Share
ACSD
2001
IEEE

A structural encoding technique for the synthesis of asynchronous circuits

8 years 6 months ago
A structural encoding technique for the synthesis of asynchronous circuits
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. The set of transformations is derived from previous work on Petri net synthesis. Both the encoding technique and the set of transformations preserve the property of free-choiceness, thus enabling the use of structural methods for the synthesis of asynchronous circuits. Preliminary experimental
Josep Carmona, Jordi Cortadella, Enric Pastor
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where ACSD
Authors Josep Carmona, Jordi Cortadella, Enric Pastor
Comments (0)
books