静态时序分析，详细，有用。