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 |
 |
Constraint driven synthesis of hardware design | Design synthesis (or Synthetic Design) is an attractive alternative to manual design, due to the obvious benefits of decreased development time and correctness by construction. Unfortunately, the price for this automation has frequently been inefficient designs and a narrow range of application. The... | design synthesis; constraint driven synthesis; constraints; computers | 1983-08 |
1 - 25 of 1