Hide Advanced Options
Courses - Fall 2024
Electrical & Computer Engineering Department Site
Open Seats as of
07/19/2024 at 10:30 PM
Advanced Topics in Computer Engineering; Computer-Aided Design of Digital Circuits
Credits: 3
Grad Meth: Reg, Aud
Prerequisite: ENEE245 and ENEE350; or students who have taken courses with comparable content may contact the Department.

State-of-the-art techniques and algorithms for synthesis and verification of digital systems. High-level and architectural synthesis,decision and word-level algorithms, combinational and sequential logic optimization. Formal and simulation-based verification techniques; combinational and sequential equivalence checking; model and property checking; satisfiability (SAT) and satisfiability modulo theories (SMT).