This course covers the theory for design and analysis of logic networks with special emphasis on Ordered Binary Decision Diagrams (OBDDs). Theories on logic synthesis are covered in detail: multi-valued input two-valued output functions, logic design for PLDs/FPGAs, EXOR-based design, and complexity theories of logic networks. Prerequisite: Consent of instructor. |