Loading...
Loading...

Go to the content (press return)

A general model for performance optimization of sequential systems

Author
Bufistov, D.; Cortadella, J.; Kishinevsky, M.; Sapatnekar, S.
Type of activity
Presentation of work at congresses
Name of edition
2007 IEEE/ACM International Conference on Computer-Aided Design
Date of publication
2007
Presentation's date
2007
Book of congress proceedings
2007 International Conference on Computer-Aided Design, ICCAD 2007: San Jose, CA, USA, November 5-8, 2007
First page
362
Last page
369
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
10.1109/ICCAD.2007.4397291
Repository
http://hdl.handle.net/2117/132804 Open in new window
URL
https://ieeexplore.ieee.org/document/4397291 Open in new window
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 theo...
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.
Keywords
Circuit optimisation, Graph theory, Integer programming, Linear programming, Sequential circuits
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Bufistov, Dmitry  (author and speaker )
  • Cortadella Fortuny, Jordi  (author and speaker )
  • Kishinevsky, Michael  (author and speaker )
  • Sapatnekar, Sachin S.  (author and speaker )

Attachments