以最简单的反相器为例,所谓cell的时序信息,即图中的传播延时Tr和Tf。
• Tr : Output rise delay
• Tf : Output fall delay
反相器cell的延时取决于两个因素:
输出负载(output load),即输出引脚的电容负载。负载电容越大,延迟越大。
输入信号的过渡时间(input transition time)。在大多数情况下,延迟随着输入transition time的增加而增加,但是延迟和输入transitiontime并不总是单调关系,尤其是在输出负载较小的情况下。
早期的延时建模采用简单的线性延迟模型(linear delay model),其中延迟是input transition time和output load capacitance两者的线性函数,其一般形式如下所示:
D = D0 +D1 * S + D2 * C
其中D0,D1,D2是常数,S是inputtransition time,C是output load capacitance。
线性延迟模型在亚微米工艺下不太准确,因此目前大多数lib库使用更复杂的模型,例如非线性延迟模型(non-lineardelay model)。