ECE 572 Advanced Logic Synthesis

Boolean and multivalued algebras. Cube calculus and its computer realization. Basic operators and algorithms of function minimization. Decomposition and factorization theories. Multilevel minimization. Orthogonal expansions and tree circuits. Cellular logic and its applications to Field Programmable Gate Arrays. Spectral theory of logic optimization. Ordered Binary and Multiple-Valued Decision Diagrams. Design for speed, testability, power consumption, reliability, Reed-Muller forms, and EXOR circuits. Technology mapping. Modern logic synthesis programs, systems, and methodologies. Project that continues in ECE 573.