Affiliation:
1. Synopsys, Inc., Mountain View, CA
Abstract
Optimum cycle ratio (OCR) algorithms are fundamental to the performance analysis of (digital or manufacturing) systems with cycles. Some applications in the computer-aided design field include cycle time and slack optimization for circuits, retiming, timing separation analysis, and rate analysis. There are many OCR algorithms, and since a superior time complexity in theory does not mean a superior time complexity in practice, or vice-versa, it is important to know how these algorithms perform in practice on real circuit benchmarks. A recent published study experimentally evaluated almost all the known OCR algorithms, and determined the fastest one among them. This article improves on that study in the following ways: (1) it focuses on the fastest OCR algorithms only; (2) it provides a unified theoretical framework and a few new results; (3) it runs these algorithms on the largest circuit benchmarks available; (4) it compares the algorithms in terms of many properties in addition to running times such as operation counts, convergence behavior, space requirements, generality, simplicity, and robustness; (5) it analyzes the experimental results using statistical techniques and provides asymptotic time complexity of each algorithm in practice; and (6) it provides clear guidance to the use and implementation of these algorithms together with our algorithmic improvements.
Publisher
Association for Computing Machinery (ACM)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Computer Science Applications
Reference44 articles.
1. Computational investigations of maximum flow algorithms;Ahuja R. K.;Europ. J. Oper. Res.,1997
2. Ahuja R. K. Magnanti T. L. and Orlin J. B. 1993. Network Flows. Prentice Hall Upper Saddle River N.J. Ahuja R. K. Magnanti T. L. and Orlin J. B. 1993. Network Flows. Prentice Hall Upper Saddle River N.J.
3. Bacelli F. Cohen G. Olsder G. J. and Quadrat J.-P. 1992. Synchronization and Linearity. Wiley New York. Bacelli F. Cohen G. Olsder G. J. and Quadrat J.-P. 1992. Synchronization and Linearity. Wiley New York.
Cited by
82 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Finding small feedback arc sets on large graphs;Computers & Operations Research;2024-09
2. Comment faire un demi-tour dans la Tour d'Hanoï Cyclique;Bulletin of the Belgian Mathematical Society - Simon Stevin;2024-07-06
3. The robust cyclic job shop problem;European Journal of Operational Research;2024-02
4. Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction;2023 IEEE International Symposium on Workload Characterization (IISWC);2023-10-01
5. Approximating Min-Mean-Cycle for Low-Diameter Graphs in Near-Optimal Time and Memory;SIAM Journal on Optimization;2022-08-01