Electrical and Computer Engineering 681:
Computer-Aided Design of Digital Systems II (3.0 units)
Theory and techniques for design and analysis of digital logic; specification, formal models; hardware-descriptive languages; formal verification, high level synthesis; logic synthesis.
| Section | Session | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|
| 30967R | 048 | Lecture | 3:30-4:50pm | Mon, Wed | 6 of 30 | Massoud Pedram | ZHS163 |  |