Cmos Vlsi Book ((new)) -

Instead of simulating vectors, STA exhaustively computes the worst-case delay of every path. Uses files (NLDM – Non-Linear Delay Models). Reports slack = required time – arrival time. Negative slack = timing failure.