ECE 595Z Lecture 24: Sequential Logic Optimization I