Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
1 - 25 of 2
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 1 |
 |
From Algebraic Specifications to Correct VLSI Systems | This dissertation presents a hardware design methodology in which hardware systems can be modeled as abstract data types and semi-automatically synthesized into VLSI circuits. The behavior of a module is specified at both the abstract and the realization levels, in a purely functional language, "Str... | VLSI circuits; computers | 1986-12 |
| 2 |
 |
HOP: (Hardware Viewed as Objects and Processes). A Process Model for Synchronous Hardware Systems | A new Hardware Specification Language (HSL) called HOP is presented. HOP stands for Hardware viewed as Objects and Processes. It can be used for specifying the structure, behavior, and timing of digital systems. HOP was designed for several reasons. It integrates well-tested ideas from past work tha... | 1988 |
1 - 25 of 2