静态时序分析（Static Timing Analysis, STA）：简介及内容导航

静态时序分析（Static Timing Analysis, STA）是用来验证数字设计时序的技术之一，也是数字IC设计者必备的设计技能。

本专栏blog将根据《Static Timing Analysis for Nanometer Designs:A Practical Approach》对STA作读书笔记，也可参照作者的知乎专栏静态时序分析圣经翻译计划——汇总篇

本专栏认为读者具备一定的数字电路的基础知识。

本专栏在介绍STA原理的同时，也会介绍设计约束、标准单元如何描述。

---

1. 介绍

● 时序分析：给定了一个设计、输入时钟以及外部环境，验证这个设计是否能够运行在预期的速度，即这个设计是否可以安全地运行在给定的时钟频率下且没有时序违例。

时序分析的输入是使用硬件描述语言（VHDL或者Verilog HDL）描述的逻辑设计，以及使用约束规范语言（例如Xilinx Design Constraints,XDC或Synopsys Design Constraints,SDC）描述的时序约束。输出则是时序报告。

● 静态时序分析（Static Timing Analysis, STA）：对于设计的时序分析是静态地执行的，并不需要在输入端口上施加激励。

而且STA在整个设计中只需要被分析一次，就可以对所有情况下设计中的全部路径进行所需的时序检查。因此，STA是能够被用来验证设计时序的一种完全且详尽的方法。

1.1. 局限性

如下，在看完之后的章节对如下局限性就会有深刻的认识，看不懂的可以直接跳过，最后再返回来阅读~

1. 复位顺序：触发器在复位后是否为所需的逻辑值，这是无法使用STA来检查的。

2. 跨异步时钟域：STA无法检查是