ECE 595Z Lecture 26: Sequential Logic Optimization III