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 |
 |
Behavioral simulation from high-level specifications | A validation tool for synchronous hardware systems based on process composition and symbolic simulation has been developed. The problems addressed are:; • effective evaluation of a design through high-level simulation • quick exploration of alternative designs • contraction of the I/O vector s... | computer simulation; integrated circuits; large scale integration; behavioral simulation | 1989-06 |
1 - 25 of 1