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 | 2:00-4:50pm | Monday | 9 of 20 | Massoud Pedram | GFS205 |   |