Foreground memory management in data path synthesis
- 1 May 1992
- journal article
- research article
- Published by Wiley in International Journal of Circuit Theory and Applications
- Vol. 20 (3) , 235-255
- https://doi.org/10.1002/cta.4490200304
Abstract
The management of foreground memory is a main issue in data path synthesis. the storage of values in registers and register files not only determines the number of each of them but also has a major impact on the interconnect structure. Both the amount of multiplexing and interconnect are crucial factors to both the delay and area of a circuit. In this paper it is shown that when values are grouped into register files before being assigned to actual registers, significant savings (20 per cent) can be obtained in the number of local interconnections and the amount of global interconnect at the expense of only slightly more register area. These results can be enhanced by splitting the read and write phases of registers and even more by introducing serial (re)write operations for the same value. the value grouping is based on edge‐colouring algorithms that provide a sharp upper bound on the number of register groups needed.After value grouping, the registers are allocated for each register file separately. Algorithms for register allocation published up till now have only considered loop‐free data flow graphs. When these algorithms are applied to data flow graphs with loops, unnecessary register transfer operations can be introduced. In this paper a new algorithm is presented that performs a minimal register allocation eliminating all superfluous register transfer operations. Experiments on a benchmark set have shown that in all cases all register transfers could be eliminated at no increase in register cost.This paper provides a deeper insight to the computational complexity of some problems in the area of data path synthesis. It shows that the various subtasks can be solved exactly using polynomial time algorithms.Keywords
This publication has 15 references indexed in Scilit:
- Data path tradeoffs using MABALPublished by Association for Computing Machinery (ACM) ,1990
- The solution of some random NP-hard problems in polynomial expected timeJournal of Algorithms, 1989
- Almost all k-colorable graphs are easy to colorJournal of Algorithms, 1988
- Automated Synthesis of Data Paths in Digital SystemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1986
- A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital LogicIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1983
- An $O(n^2 )$ Algorithm for Coloring Proper Circular Arc GraphsSIAM Journal on Algebraic Discrete Methods, 1981
- Using euler partitions to edge color bipartite multigraphsInternational Journal of Parallel Programming, 1976
- Coloring a Family of Circular ArcsSIAM Journal on Applied Mathematics, 1975
- Structure theorems for some circular-arc graphsDiscrete Mathematics, 1974
- Matrix characterizations of circular-arc graphsPacific Journal of Mathematics, 1971