Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
HISDL—a structure description language
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Programming aspects of VLSI: (preliminary version)
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Symbolic synthesis of digital computers
ACM '52 Proceedings of the 1952 ACM national meeting (Toronto)
Switch-Level Model and Simulator for MOS Digital Systems
Switch-Level Model and Simulator for MOS Digital Systems
A notation for describing multiple views of VLSI circuits
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Design for testability in a silicon compilation environment
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
An experimental representation for organizational level designs and synthesis
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Towards a standard hardware description language
DAC '84 Proceedings of the 21st Design Automation Conference
| Hi-index | 0.00 |
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.