门级静态时序分析(Static Timi