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 |
|---|---|---|---|---|---|---|---|---|---|
| 30967R | 048 | Lecture | 10:00-11:50am | Mon, Wed | 9 of 30 | Massoud Pedram | GFS223 |   |