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 |
 |
A framework for hardware design analysis and synthesis using VHDL | An approach for behavioral analysis and synthesis in a single framework is presented. The main advantage of specifying circuits at an abstract level is that they become amenable to formal analysis. A formalism HOP, which is an extended automaton model to describe behaviors of circuits is introduced.... | VHDL; computer hardware description language | 1993-03 |
1 - 25 of 1