Electrical 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 |
|---|---|---|---|---|---|---|---|---|---|
| 31333R | 048 | Lecture | 10:00-11:50am | Mon, Wed | 12 of 40 | Massoud Pedram | VHE217 |  |