仿真形式化验证静态时序分析功率分析设计规则校核布局与原理图