A general model for performance optimization of sequential systems
| dc.contributor.author | Bufistov, Dmitry |
| dc.contributor.author | Cortadella, Jordi |
| dc.contributor.author | Kishinevsky, Michael |
| dc.contributor.author | Sapatnekar, Sachin S. |
| dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals |
| dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
| dc.date.accessioned | 2019-05-09T11:45:43Z |
| dc.date.available | 2019-05-09T11:45:43Z |
| dc.date.issued | 2007 |
| dc.description.abstract | Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, different models that provide exact solutions have already been proposed. An exact model for recycling was yet unknown. This paper presents a general formulation that covers the combination of the three schemes for performance optimization. It provides an exact model based on integer linear programming that resorts to the structural theory of marked graphs. A set of experiments has been designed to show the benefits in performance obtained by combining retiming and recycling. The results also show the applicability of the method in large circuits. |
| dc.description.peerreviewed | Peer Reviewed |
| dc.description.version | Postprint (published version) |
| dc.format.extent | 8 p. |
| dc.identifier.citation | Bufistov, D. [et al.]. A general model for performance optimization of sequential systems. A: IEEE/ACM International Conference on Computer-Aided Design. "2007 International Conference on Computer-Aided Design, ICCAD 2007: San Jose, CA, USA, November 5-8, 2007". Institute of Electrical and Electronics Engineers (IEEE), 2007, p. 362-369. |
| dc.identifier.doi | 10.1109/ICCAD.2007.4397291 |
| dc.identifier.isbn | 978-1-4244-1381-2 |
| dc.identifier.uri | https://hdl.handle.net/2117/132804 |
| dc.language.iso | eng |
| dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| dc.relation.publisherversion | https://ieeexplore.ieee.org/document/4397291 |
| dc.rights.access | Open Access |
| dc.subject | Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats |
| dc.subject.lcsh | Graph theory |
| dc.subject.lcsh | Integer programming |
| dc.subject.lcsh | Linear programming |
| dc.subject.lcsh | Logic circuits |
| dc.subject.lemac | Grafs, Teoria de |
| dc.subject.lemac | Programació en nombres enters |
| dc.subject.lemac | Programació lineal |
| dc.subject.lemac | Circuits lògics |
| dc.subject.other | Circuit optimisation |
| dc.subject.other | Sequential circuits |
| dc.title | A general model for performance optimization of sequential systems |
| dc.type | Conference report |
| dspace.entity.type | Publication |
| local.citation.author | Bufistov, D.; Cortadella, J.; Kishinevsky, M.; Sapatnekar, S. |
| local.citation.contributor | IEEE/ACM International Conference on Computer-Aided Design |
| local.citation.endingPage | 369 |
| local.citation.publicationName | 2007 International Conference on Computer-Aided Design, ICCAD 2007: San Jose, CA, USA, November 5-8, 2007 |
| local.citation.startingPage | 362 |
| local.identifier.drac | 24473542 |
Fitxers
Paquet original
1 - 1 de 1



