Department of Electrical and Computer Engineering

Graduate Courses

ECE 521 Fault-Tolerant Computer Design
ECE 522 VLSI Circuit Testing
ECE 523 Low Power VLSI Design
ECE 524 Synthesis & Verification of Digital
               Circuits
ECE 525 Physical Design Automation
ECE 526 Network Processing Systems
               Design
ECE 527 Switching Circuit Theory
ECE 528 Advanced Computer Architecture
ECE 529 Analog-to-Digital Conversion &
               Related Devices
ECE 531 Mixed-Signal VLSI Design
ECE 532 Optimization Aspects of Computer
               Architecture
ECE 537 Integrated Photonics
ECE 540 CMOS Radio-Frequency
                Integrated Circuit Disigner II
ECE 541 Nanofabrication
ECE 542 Optical Information Processing
ECE 543 Analog VLSI
ECE 545 Advanced Semiconductor Devices
ECE 546 Gaseous Electronics
ECE 547 Solid-State Theory of Electronic
               Materials
ECE 548 Advanced Electronic Devices
ECE 549 Fiber Optic Communications
ECE 550 Nanoelectronics Devices
ECE 551 Probability & Random Processes
ECE 552 Detection Theory
ECE 553 Data Communication Networks
ECE 554 Spread Spectrum Communication
ECE 555 Information Theory
ECE 556 Digital Communications
ECE 558 Digital Image Processing I
ECE 563 Estimation Theory & Filtering
ECE 564 Optimal Control
ECE 565 Nonlinear Systems Analysis
ECE 566 Adaptive Control
ECE 567 Modern Biomedical Imaging
ECE 568 Pattern Classification
ECE 571 Wireless & Personal
               Communication Systems
ECE 572 Neural Networks
ECE 573 Fields & Waves II
ECE 574 Nonlinear Optics
ECE 576 Numerical Electromagnetics
ECE 577 Antennas II
ECE 578 Digital Image Processing II
ECE 579 Microwave Engineering II
ECE 580 Seminar
ECE 582 HVDC Transmission
ECE 583 Advanced Applications of Power
               Electronic Systems
ECE 584 Linear & Non-Linear Networks
ECE 585 Power System Stability & Control
ECE 586 Power Systems Analysis II
ECE 587 Power Systems Operation &
               Control
ECE 588 Advanced Electrical Network
               Theory
ECE 589 Planning & Automation of Electric
               Power Distribution System
ECE 592 Special Investigation in Elect &
               Computer Engineering
ECE 593 Advanced Topics in Elect &
               Computer Engineering
ECE 595 Technical Communications
ECE 599 Master of Science Thesis
ECE 600 Doctoral Dissertation
ECE 601 Continuing Enrollment
ENGR 521 Probability and Random
               Processes

ECE 524 Synthesis & Verification of Digital Circuits

Binary decision diagrams, finite state machines and finite automata. Design automation concepts in logic level synthesis, optimization and verification fo combinational as well as sequential logic. Technology mapping.

Credit Hours: 3 Lecture

Prerequisites: ECE 423, ECE 425, or consent of instructor

Textbooks:

“Synthesis and Optimization of Digital Circuits, 1st Edition”, Giovanni De Micheli, McGraw Hill, 1994, ISBN: 0070163332.