EE 681 Computer-Aided Design of Digital Systems II

Units: 3
Theory and techniques for design and analysis of digital logic; specification, formal models; hardware-descriptive languages; formal verification, high level synthesis; logic synthesis.
Prerequisite: EE 557, EE 680.
Instruction Mode: Lecture
Grading Option: Letter