Advanced Logic Design of Electronic and Nanoelectronic Devices

3 credits · Graduate Programs

Two-level and multi-level logic synthesis; flexibility in logic design; multiple-valued logic for advanced technology; multi-level minimization; Binary Decision Diagrams, Word-level Decision Diagrams, sequential and combinational equivalence checking; technology mapping; technology-based transformations; logic synthesis for low power, optimizations of synchronous and asynchronous circuits, logical and physical design from a flow perspective; challenges of design of nanoelectronic devices. Prerequisite(s): Admission to the PhD in Electrical and Computer Engineering or the MSc in Electrical Engineering.