ECE 595Z Lecture 6: Two-level Logic Synthesis I