Tag: static timing analysis equations