The mapping of logic designs into a very large scale hardware simulator

The authors demonstrate the effectiveness of the ratio cut algorithm used in conjunction with a multistage heuristic in addressing very-large-scale partitioning problems. A very-large-scale system may contain several million gates. To achieve an optimal mapping of such a system onto a fixed hierarchy hardware accelerator presents a formidable challenge to even the fastest computing engines currently available. The authors describe the application of a divide-and-conquer heuristic coupled with the algorithm that solves the problem under a variety of constraints. The goal of this approach is to minimize the communication cost in the hierarchy. The authors describe experiments with designs containing up to two million gates, and demonstrate that the approach decreased communication costs by a factor of two or more, when compared with other approaches. This approach enables the hardware simulator to perform approximately three billion gate evaluations/s, or approximately 200 million event evaluations in an event-driven simulator, using a 6% activity rate.<<ETX>>

[1]  T. C. Hu,et al.  Multi-Terminal Network Flows , 1961 .

[2]  Tom Blank,et al.  A Survey of Hardware Accelerators Used in Computer-Aided Design , 1984, IEEE Design & Test of Computers.

[3]  Balakrishnan Krishnamurthy,et al.  An Improved Min-Cut Algonthm for Partitioning VLSI Networks , 1984, IEEE Transactions on Computers.

[4]  R. M. Mattheyses,et al.  A Linear-Time Heuristic for Improving Network Partitions , 1982, 19th Design Automation Conference.

[5]  Brian W. Kernighan,et al.  A proper model for the partitioning of electrical circuits , 1972, DAC '72.

[6]  Chung-Kuan Cheng The optimal circuit decompositions using network flow formulations , 1990, IEEE International Symposium on Circuits and Systems.

[7]  Gregory Francis Pfister,et al.  The Yorktown Simulation Engine: Introduction , 1982, DAC 1982.

[8]  Frank Thomson Leighton,et al.  An approximate max-flow min-cut theorem for uniform multicommodity flow problems with applications to approximation algorithms , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[9]  M.M. Denneau The Yorktown Simulation Engine , 1982, 19th Design Automation Conference.

[10]  Leon Steinberg,et al.  The Backboard Wiring Problem: A Placement Algorithm , 1961 .

[11]  Laura A. Sanchis,et al.  Multiple-Way Network Partitioning , 1989, IEEE Trans. Computers.

[12]  Larry N. Dunn IBM'S Engineering Design System Support for VLSI Design and Verification , 1984, IEEE Design & Test of Computers.

[13]  David S. Johnson,et al.  Some Simplified NP-Complete Graph Problems , 1976, Theor. Comput. Sci..

[14]  Carl Sechen,et al.  An improved objective function for mincut circuit partitioning , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

[15]  Brian W. Kernighan,et al.  An efficient heuristic procedure for partitioning graphs , 1970, Bell Syst. Tech. J..