ECE 595Z Lecture 8: Two-level Logic Synthesis III