A general model for performance optimization of sequential systems

Author

Bufistov, Dmitry ; Cortadella, Jordi ; Kishinevsky, Mike ; Sapatnekar, Sachin

Author_Institution

Univ. Politecnica de Catalunya, Barcelona

fYear

2007

fDate

4-8 Nov. 2007

Firstpage

362

Lastpage

369

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.

Keywords

circuit optimisation; graph theory; integer programming; linear programming; sequential circuits; c-slow retiming; integer linear programming; marked graph; recycling; sequential circuits; Clocks; Degradation; Delay; Flip-flops; Optimization; Recycling; Registers; Sequential circuits; System performance; Throughput;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

San Jose, CA

ISSN

1092-3152

Print_ISBN

978-1-4244-1381-2

Electronic_ISBN

1092-3152

Type

conf

DOI

10.1109/ICCAD.2007.4397291

Filename

4397291