ECE 595Z Lecture 25: Sequential Logic Optimization II