Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
1 - 25 of 1
| 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 |
1 - 25 of 1