A deep dive into static timing analysis - understanding slack, path delays, clock skew, and why period minus data path is not your margin