Abstract
This paper describes the main features of a Integrated Circuit Layout system called ALI2. The system is based on a procedural layout language which allows the designer to specify layouts at a conceputal level. The system attempts to make layout design similar to software design. The language has a cell mechanism that is hierarchical and parametric, and allows the user to design truly generic cells whose instances are dependent on the environments in which the cell is invoked. Several layouts have been successfully designed and fabricated using the system. Initial versions of the system were designed and implemented when the authors were at Princeton University, and later versions were developed when the first author was still at Princeton and the second author was at Georgia Institute of Technology.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Hennessy, J., Elmquist, H., “The Design and Implementation of Parametric Types in Pascal”, Software — Practice and Experience, vol. 12, 1982.
Jensen, K., Wirth, N., Pascal User Manual and Report, 2nd ed., Springer-Verlag.
Johnson, S. C., “YACC: Yet Another Compiler-Compiler”, Unix Programmer's Manual, January 1979.
Kalin, R. L., “Design and Implementation of the Parser/Translator”, ALI2 Documentation and Implementation Guide, Department of EECS, Princeton University.
Kalin, R. L., Valdes, J., “Language Overview”, ALI2 Documentation and Implementation Guide, Department of EECS, Princeton University.
Kalin, R. L., Valdes, J., Vijayan, G., “System Overview and User's Notes”, ALI2 Implementation and Documentation Guide, Department of EECS, Princeton University.
Knuth, D. E., The Art of Computer Programming, vol. 1, Fundamental Algorithms, Addison-Wesley, 1971.
Lengauer, T., Mehlhorn, K., “The HILL System: A Design Environment for the Hierarchical Specification, Compaction, and Simulation of Integrated Circuit Layouts”, 1984 Conference on Advanced Research in VLSI, MIT, Jan. 1984.
Lipton, R. J., North, S. C., Sedgewick, R., Valdes, J., Vijayan, G., “ALI: a Procedural Language to Describe VLSI Layouts”, Proc. of the 19th Design Automation Conference, June 1982.
Lipton, R. J., North, S. C., Sedgewick, R., Valdes, J., Vijayan, G., “VLSI Layout as Programming”, ACM Trans. of Programming Languages and Systems, July 1983.
Mayo, R., et. al., “1983 VLSI Tools”, Report No. UCB/CSD 83/115, University of California, Berkeley, March 1983.
Mata, J. M., “PLA Generator”, ALI2 Documentation and Implementation Guide, Department of EECS, Princeton University.
Mata, J. M., “An Array Generator in ALI2”, ALI2 Documentation and Implementation Guide, Department of EECS, Princeton University.
Mata, J. M., “A Methodology for VLSI Design and A Constraint-Based Layout Language”, Ph.D. Thesis, Department of EECS, Princeton University, October 1984.
Mathews, R., Newkirk, J., Eichenberger, P., “A Target Language for Silicon Compilers”, COMPCON 1982, Feb. 1982.
Mead, C., Conway, L., Introduction to VLSI Systems, Addison-Wesley Publ. Co., 1980.
Ousterhout, J., “CAESAR: An Interactive Editor for VLSI Layouts”, VLSI Design, Fourth Quarter, 1981.
Sastry, S., Klein, S., “PLATES: A Metric Free VLSI Layout Language”, 1982 Conference on Advanced Research in VLSI, MIT, January 1982.
Valdes, J., Vijayan, G., “The Translation of ALI2 into Pascal and the ALI2 Runtime system”, ALI2 Documentation and Implementation Guide, Department of EECS, Princeton University.
Vijayan, G., “Design Implementation and Theory of a VLSI Layout Language”, Ph.D. Thesis, Department of EECS, Princeton University, August 1983.
Williams, J. D., 'sTICKS — A Graphical Compiler for High Level LSI Design”, Proceedings of the 1978 National Computer Conference, June 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mata, J.M., Vijayan, G. (1985). Design and implementation of a procedural VLSI layout system. In: Maheshwari, S.N. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1985. Lecture Notes in Computer Science, vol 206. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16042-6_24
Download citation
DOI: https://doi.org/10.1007/3-540-16042-6_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16042-7
Online ISBN: 978-3-540-39722-9
eBook Packages: Springer Book Archive