Covers two-level and multilevel minimization, optimization via expert systems, algebraic and Boolean decomposition, layout methodologies, state assignment, encoding and minimization, silicon compilation. Prereqs., ECEN 2703 and general proficiency in discrete mathematics and programming.
Studies synthesis and optimization of sequential circuits, including retiming transformations and don't care sequences. Gives attention to hardware description languages and their application to finite state systems. Also includes synthesis for testability and performance, algorithms for test generation, formal verification of sequential systems, and synthesis of asynchronous circuits. Prereqs., ECEN 5139 and CSCI 5454.