数字IC后端设计流程flow

1.逻辑综合（logic synthesis）
2.布局布线（place & route）
3.静态时序分析（static timing analysis)
4.形式验证（formality)
4.物理验证（physical verification)