Mostra el registre d'ítem simple
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
dc.contributor.author | Cortadella, Jordi |
dc.contributor.author | Kishinevsky, Michael |
dc.contributor.author | Kondratyev, Alex |
dc.contributor.author | Lavagno, Luciano |
dc.contributor.author | Yakovlev, Alex |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2019-06-03T08:44:03Z |
dc.date.available | 2019-06-03T08:44:03Z |
dc.date.issued | 1996 |
dc.identifier.citation | Cortadella, J. [et al.]. Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. A: Conference on Design of Circuits and Integrated Systems. "DCIS96, XI Design of Integrated Circuits and Systems Conference: proceedings". Barcelona: Universitat Politècnica de Catalunya (UPC), 1996, p. 205-210. |
dc.identifier.isbn | 84-89349-83-5 |
dc.identifier.uri | http://hdl.handle.net/2117/133830 |
dc.description.abstract | Petrifyis a tool for (1) manipulating concurrent specifications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition System (TS)1it (1)generates another PN or STG which is simpler than the original description and (2) produces an optimized net-listof an asynchronous controller in the target gate library while preserving the specified input-output behavior. Given a specification petrify provides a designer with a net-list of anasynchronous circuit and a PN-like description of the circuit behavior in terms of events and ordering relations between events. The latter ability of back-annotating to the specification level helps the designer to control the design process. For transforming a specification petrify performs a token flow analysis of the initial PN and produces a transition system (TS). In the initial TS, all transitions with the same label are considered as one event. The TS is then transformed and transitions relabeled to fulfill the conditions required to obtain a safe irredundant PN. For synthesis of an asynchronous implementation petrify performs state assignment by solving the Complete State Coding problem. State assignment is coupled with logic minimization and speed-independent technology mapping to a target library. The final net-list is guaranteed to be speed-independent, i.e., hazard-free under any distribution of gate delays and multiple input changes satisfying the initial specification. The tool has been used for synthesis of PNs and PNs composition [10], synthesis [7, 8, 9] andre-synthesis [29] of asynchronous controllers and can be also applied in areas related with the analysis of concurrent programs. This paper provides an overview of petrify and the theory behind its main functions. |
dc.format.extent | 6 p. |
dc.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya (UPC) |
dc.subject | Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
dc.subject.lcsh | Petri nets |
dc.subject.lcsh | Asynchronous circuits |
dc.subject.lcsh | Logic design |
dc.title | Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers |
dc.type | Conference report |
dc.subject.lemac | Petri, Xarxes de |
dc.subject.lemac | Circuits asíncrons |
dc.subject.lemac | Estructura lògica |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.description.peerreviewed | Peer Reviewed |
dc.rights.access | Open Access |
local.identifier.drac | 2432797 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. |
local.citation.contributor | Conference on Design of Circuits and Integrated Systems |
local.citation.pubplace | Barcelona |
local.citation.publicationName | DCIS96, XI Design of Integrated Circuits and Systems Conference: proceedings |
local.citation.startingPage | 205 |
local.citation.endingPage | 210 |