ECE 595Z Lecture 9: Two-level Logic Synthesis IV