A general model for performance optimization of sequential systems
Document typeConference report
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
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.
CitationBufistov, 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.