Static Time Analysis in VLSI