ECE 595Z Lecture 7: Two-level Logic Synthesis II