Modern techniques for synthesis and verification of digital systems. Topics in synthesis cover high-level synthesis, decision diagrams, combinational and sequential logic optimization. Topics in verification include symbolic techniques, equivalence checking, satisfiability, FSM traversal and state reachability analysis. Prerequisites: undergraduate courses in digital logic design and hardware organization.

A graduate version of E&C-Eng 558 which includes additional readings in VLSI architecture, CAD, and systems. A more ambitious design project required, which can be related to the student's research or possibly another advanced E&C-Eng course such as digital signal processing, control, computer architecture, or computer graphics. Prerequisites: E&C-ENG 212 and 221 or equivalent.

Introduces key concepts in biosensors and bioelectronics. The course starts from the basics of molecular and cellular biology, followed by discussions on important biomedical devices and system in electrical, optical, magnetic and mechanical domains. The class will focus on working principles, basic concepts, and important bio-EE applications. It has prerequisites on semiconductor devices and electronics.

This course introduces the students to the design of embedded systems with a focus in emerging cyber-physical systems and internet of things applications such as health care, connected vehicles, and augmented/virtual reality. This course presents the unique capabilities of embedded technologies, and takes a holistic approach to design end-to-end systems. These systems span various thrusts that cut across both horizontal and vertical architectural layers.

This course will teach students basic experimental methodologies in electrical and computer engineering required by graduate students. The course will involve hands-on experimentation and lectures which train students in these areas. A student completing the course will be prepared to complete advanced graduate courses in electrical and computer engineering.

Quantum mechanical principles and formalism. Description of quantum systems and phenomena relevant to electrical and computer engineering. Common foundation for advanced study and work in semiconductor materials and devices, nanoelectronics, optical and quantum electronics, quantum information and computation, and other emerging applications. Prerequisite: ECE 244 or equivalent.

Electromagnetic fields in dielectric and lossy media, transmission lines, antennas and resonators treated with the concepts of duality, image theory, reciprocity, integral equations and other techniques. Boundary and initial value problems solved for several frequently encountered symmetries.

Elementary probability theory including random variables, p.d.f., c.d.f., generating functions, law of large numbers. Elementary stochastic process theory including covariance and power spectral density. Markov processes and applications.

Not available at this time

This course is one of the most fundamental courses in electric power engineering. It covers a review of AC circuit analysis, AC power, the representation of power system components, per unit analysis, transformers, transmission line parameters and steady-state operations, as well as power flow analysis. The course also introduces students to software tools for power system analysis, such as PowerWorld.