门级静态时序分析(Static-Timi