ECE 595Z Lecture 17: Multi-level Synthesis IV