dc.contributor.author | Cortadella, Jordi |
dc.contributor.author | Kondratyev, Alex |
dc.contributor.author | Lavagno, Luciano |
dc.contributor.author | Sotiriou, Christos |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2019-01-10T07:39:57Z |
dc.date.available | 2019-01-10T07:39:57Z |
dc.date.issued | 2006-10 |
dc.identifier.citation | Cortadella, J., Kondratyev, A., Lavagno, L., Sotiriou, C. Desynchronization: Synthesis of asynchronous circuits from synchronous specifications. "IEEE transactions on computer-aided design of integrated circuits and systems", Octubre 2006, vol. 25, núm. 10, p. 1904-1921. |
dc.identifier.issn | 0278-0070 |
dc.identifier.uri | http://hdl.handle.net/2117/126455 |
dc.description.abstract | Asynchronous implementation techniques, which measure logic delays at runtime and activate registers accordingly, are inherently more robust than their synchronous counterparts, which estimate worst case delays at design time and constrain the clock cycle accordingly. Desynchronization is a new paradigm to automate the design of asynchronous circuits from synchronous specifications, thus, permitting widespread adoption of asynchronicity without requiring special design skills or tools. In this paper, different protocols for desynchronization are first studied, and their correctness is formally proven using techniques originally developed for distributed deployment of synchronous language specifications. A taxonomy of existing protocols for asynchronous latch controllers, covering, in particular, the four-phase handshake protocols devised in the literature for micropipelines, is also provided. A new controller that exhibits provably maximal concurrency is then proposed, and the performance of desynchronized circuits is analyzed with respect to the original synchronous optimized implementation. Finally, this paper proves the feasibility and effectiveness of the proposed approach by showing its application to a set of real designs, including a complete implementation of the DLX microprocessor architecture. |
dc.format.extent | 18 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
dc.subject.lcsh | Asynchronous circuits |
dc.subject.lcsh | Integrated circuits -- Design and construction |
dc.subject.lcsh | Logic design |
dc.subject.other | Concurrent systems |
dc.subject.other | Desynchronization |
dc.subject.other | Electronic design automation |
dc.subject.other | Handshake protocols |
dc.subject.other | Synthesis |
dc.title | Desynchronization: Synthesis of asynchronous circuits from synchronous specifications |
dc.type | Article |
dc.subject.lemac | Circuits asíncrons |
dc.subject.lemac | Circuits integrats -- Disseny i construcció |
dc.subject.lemac | Estructura lògica |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.1109/TCAD.2005.860958 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/1677680 |
dc.rights.access | Open Access |
local.identifier.drac | 1636570 |
dc.description.version | Postprint (published version) |
local.citation.author | Cortadella, J.; Kondratyev, A.; Lavagno, L.; Sotiriou, C. |
local.citation.publicationName | IEEE transactions on computer-aided design of integrated circuits and systems |
local.citation.volume | 25 |
local.citation.number | 10 |
local.citation.startingPage | 1904 |
local.citation.endingPage | 1921 |