Programming aspects of VLSI: (preliminary version)

ABSTRACT

Two components of a VLSI design environment being built at Princeton are described. The general theme of this effort is to make the design of VLSI circuits as similar to programming as possible. A conscious attempt is being made to apply experience in the design of large software systems to the creation of an appropriate environment for VLSI circuits. The two components described are a procedural language to specify circuit layouts and a switch-level circuit simulator for layout produced with this language. They have been chosen for presentation because many issues in their design are very similar to the issues that arise in the design of programming languages and software environments.

REFERENCES

• 1: Ackland, B., Weste, N., "A pragmatic approach to topological symbolic IC design. design," VLSI'81, pp 117--129, ed. John P. Gray, Academic Press.
• 2: Apsvall, B. and Shiloach Y., "A Polynomial Time Algorithm for Solving Systems of Linear Inequalities with Two variables per Inequality", pp 205--217, Proc. of the twentieth IEEE Symp. on Foundations of Computer Science, 1979.
• 3: Baker, C. M., "Artwork Analysis Tools for VLSI Circuits," M. S. Thesis, MIT, EECS Department, June, 1980.
• 4: Batali, J., Mayle, N., Shrobe, H., Sussman, G., Weise, D., "The DPL/Daedalus Design Environment," VLSI '81, pp 183--192.
• 5: Randal E. Bryant, MOSSIM: A switch-level simulator for MOS LSI, Proceedings of the 18th conference on Design automation, p.786-790, June 29-July 01, 1981, Nashville, Tennessee, United States
• 6: L. V. Corbin, Custom VLSI electrical rule checking in an intelligent terminal, Proceedings of the 18th conference on Design automation, p.696-701, June 29-July 01, 1981, Nashville, Tennessee, United States
• 7: Fan, S. P., Hsueh, M. Y., Newton, A. R., Peterson, D. O., "MOTISC: A new circuit simulator for MOSLSI circutis," IEEE Proc. Int. Symp. Circuits and System, pp 700--703, 1977.
• 8: Donald E. Knuth, The art of computer programming, volume 1 (3rd ed.): fundamental algorithms, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1997
• 9: Carver Mead , Lynn Conway, Introduction to VLSI Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1979
• 10: Mosleller, R.C., "REST: A leaf cell design system," VLSI '81 pp 163--172.
• 11: Robert Endre Tarjan, Efficiency of a Good But Not Linear Set Union Algorithm, Journal of the ACM (JACM), v.22 n.2, p.215-225, April 1975 [doi>10.1145/321879.321884]
• 12: Stephen Trimberger, Combining graphics and a layout language in a single interactive system, Proceedings of the 18th conference on Design automation, p.234-239, June 29-July 01, 1981, Nashville, Tennessee, United States