ECE 595Z Lecture 27: Sequential Logic Optimization IV