ZEUS: A Hardware Description Language for VLSI

Zeus is a technology-independent hardware description language which supports functional and structural (including layout) specifications. Among the interesting characteristics of Zeus are that type checking is used to prevent accidental power to ground connections and that only four basic type concepts (ARRAY, COMPONENT, boolean and multiplex) and the possibility to instantiate types as signals are used to describe complex hardware. Zeus has been tested on a variety of examples like: Finite state machines, comparators, multiplexors, adders, pattern matching, AM2901, dictionary machines and systolic stacks.

[1]  Carver A. Mead,et al.  A Hierarchical Simulator Based on Formal Semantics , 1983 .

[2]  Charles E. Leiserson,et al.  Optimizing synchronous systems , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[3]  LimWillie Y.-P..  HISDLa structure description language , 1982 .

[4]  Professor Dr. Niklaus Wirth,et al.  Programming in Modula-2 , 1982, Springer Berlin Heidelberg.

[5]  Irving S. Reed,et al.  Symbolic synthesis of digital computers , 1952, ACM '52.

[6]  Richard J. Lipton,et al.  Programming Aspects of VLSI. , 1982 .

[7]  Randal E. Bryant,et al.  A Switch-Level Model and Simulator for MOS Digital Systems , 1984, IEEE Transactions on Computers.

[8]  Niklaus Wirth,et al.  Programming in Modula-2 , 1985, Texts and Monographs in Computer Science.

[9]  Dan I. Moldovan,et al.  On the Analysis and Synthesis of VLSI Algorithms , 1982, IEEE Transactions on Computers.

[10]  Willie Y.-P. Lim,et al.  HISDL—a structure description language , 1982, CACM.

[11]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

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