VLSI Layout as Programming

In th i s pape r we descr ibe a ve ry i m p o r t a n t c o m p o n e n t of a n y VLSI (very largescale in t eg ra t ion ) des ign e n v i r o n m e n t : a tool to a u t o m a t e the l a y o u t of circuits . Th i s work is p a r t of a n effort to c rea te a n i n t e g r a t e d e n v i r o n m e n t for VLSI des ign ( including l ayou t sys tems, device a n d swi tchlevel s imula tors , a n d t e s t ing facilities} cu r r en t ly u n d e r way a t P r i n c e t o n Univers i ty .

[1]  D. Franco,et al.  The Cell Design System , 1981, 18th Design Automation Conference.

[2]  John G. Williams.  STICKS - A graphical compiler for high level LSl design , 1978, AFIPS National Computer Conference.

[3]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .

[4]  Richard J. Lipton,et al.  ALI: A Procedural Language to Describe VLSI Layouts , 1982, 19th Design Automation Conference.

[5]  Steven Trimberger,et al.  Combining Graphics and a Layout Language in a Single Interactive System , 1981, 18th Design Automation Conference.

[6]  R. C. Mosteller.  REST: A Leaf Cell Design System , 1981 .

[7]  Steve Sapiro,et al.  Bolt - A Block Oriented Design Specification Language , 1981, 18th Design Automation Conference.

[8]  Richard J. Lipton,et al.  Programming aspects of VLSI: (preliminary version) , 1982, POPL '82.

[9]  James A. Rowson,et al.  ICARUS: An Interactive Integrated Circuit Layout Program , 1978, 15th Design Automation Conference.

[10]  Bengt Aspvall,et al.  A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[11]  Dave Johannsen,et al.  Bristle Blocks: A Silicon Compiler , 1979, 16th Design Automation Conference.