A general model for performance optimization of sequential systems

Dmitry Bufistov; Jordi Cortadella; Mike Kishinevsky; Sachin Sapatnekar

doi:10.1109/ICCAD.2007.4397291

A general model for performance optimization of sequential systems

Dmitry Bufistov, Jordi Cortadella, Mike Kishinevsky, Sachin Sapatnekar

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

17 Scopus citations

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.

Original language	English (US)
Title of host publication	2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD
Pages	362-369
Number of pages	8
DOIs	https://doi.org/10.1109/ICCAD.2007.4397291
State	Published - 2007
Event	2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD - San Jose, CA, United States Duration: Nov 4 2007 → Nov 8 2007

Publication series

Name	IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
ISSN (Print)	1092-3152

Other

Other	2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD
Country/Territory	United States
City	San Jose, CA
Period	11/4/07 → 11/8/07

Access

10.1109/ICCAD.2007.4397291

OpenUrl availability

Full text

Cite this

Bufistov, D., Cortadella, J., Kishinevsky, M., & Sapatnekar, S. (2007). A general model for performance optimization of sequential systems. In 2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD (pp. 362-369). Article 4397291 (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD). https://doi.org/10.1109/ICCAD.2007.4397291

A general model for performance optimization of sequential systems. / Bufistov, Dmitry; Cortadella, Jordi; Kishinevsky, Mike et al.
2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD. 2007. p. 362-369 4397291 (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bufistov, D, Cortadella, J, Kishinevsky, M & Sapatnekar, S 2007, A general model for performance optimization of sequential systems. in 2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD., 4397291, IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD, pp. 362-369, 2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD, San Jose, CA, United States, 11/4/07. https://doi.org/10.1109/ICCAD.2007.4397291

@inproceedings{24d043b8d2b44b2a93f8320f697ab7ae,

title = "A general model for performance optimization of sequential systems",

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.",

author = "Dmitry Bufistov and Jordi Cortadella and Mike Kishinevsky and Sachin Sapatnekar",

year = "2007",

doi = "10.1109/ICCAD.2007.4397291",

language = "English (US)",

isbn = "1424413826",

series = "IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD",

pages = "362--369",

booktitle = "2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD",

note = "2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD ; Conference date: 04-11-2007 Through 08-11-2007",

}

TY - GEN

T1 - A general model for performance optimization of sequential systems

AU - Bufistov, Dmitry

AU - Cortadella, Jordi

AU - Kishinevsky, Mike

AU - Sapatnekar, Sachin

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=50249089639&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=50249089639&partnerID=8YFLogxK

U2 - 10.1109/ICCAD.2007.4397291

DO - 10.1109/ICCAD.2007.4397291

M3 - Conference contribution

AN - SCOPUS:50249089639

SN - 1424413826

SN - 9781424413829

T3 - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

SP - 362

EP - 369

BT - 2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD

T2 - 2007 IEEE/ACM International Conference on Computer-Aided Design, ICCAD

Y2 - 4 November 2007 through 8 November 2007

ER -

A general model for performance optimization of sequential systems

Abstract

Publication series

Other

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this