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 -