Mostra el registre d'ítem simple
Synthesis of asynchronous controllers using integer linear programming
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.author | Colom Piazuelo, José Manuel |
dc.contributor.author | Cortadella, Jordi |
dc.contributor.author | García-Vallés, Fernando |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2019-01-07T14:26:32Z |
dc.date.available | 2019-01-07T14:26:32Z |
dc.date.issued | 2006-09 |
dc.identifier.citation | Carmona, J., Colom, J., Cortadella, J., García-Vallés, F. Synthesis of asynchronous controllers using integer linear programming. "IEEE transactions on computer-aided design of integrated circuits and systems", Setembre 2006, vol. 25, núm. 9, p. 1637-1651. |
dc.identifier.issn | 0278-0070 |
dc.identifier.uri | http://hdl.handle.net/2117/126231 |
dc.description.abstract | A novel strategy for the logic synthesis of asynchronous control circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. Techniques that are capable of checking implementability conditions, such as complete state coding, and deriving a gate netlist to implement the specified behavior are presented. These techniques can handle Petri net specifications consisting of several thousands of transitions and provide a significant speed-up compared with techniques that have previously been proposed. |
dc.format.extent | 15 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
dc.subject.lcsh | Integer programming |
dc.subject.lcsh | Logic design |
dc.subject.lcsh | Petri nets |
dc.subject.lcsh | Asynchronous circuits |
dc.subject.other | Logic synthesis |
dc.subject.other | Structural methods |
dc.title | Synthesis of asynchronous controllers using integer linear programming |
dc.type | Article |
dc.subject.lemac | Programació en nombres enters |
dc.subject.lemac | Estructura lògica |
dc.subject.lemac | Petri, Xarxes de |
dc.subject.lemac | Circuits asíncrons |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.1109/TCAD.2005.859516 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/1673739 |
dc.rights.access | Open Access |
local.identifier.drac | 1636561 |
dc.description.version | Postprint (published version) |
local.citation.author | Carmona, J.; Colom, J.; Cortadella, J.; García-Vallés, F. |
local.citation.publicationName | IEEE transactions on computer-aided design of integrated circuits and systems |
local.citation.volume | 25 |
local.citation.number | 9 |
local.citation.startingPage | 1637 |
local.citation.endingPage | 1651 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [1.049]
-
Articles de revista [274]