工艺库有db文件和lib文件，db是打不开的，lib是打得开的。
以反向器为例，时序弧上的延迟由两个因素影响，负载越大，延迟越大；输入转换时间越大，延迟越大。
随着工艺更加先进，线性模型更加不准确，非线性模型是由二维查找表构成的。
当数据不在查找表表项中计算方式
slew_derate_from_library参数的意义，实际采取饿阈值可能是30-70，但是库中的范围是10-90，这个时候就需要设置slew_derate_from_library=0.5.
k库操作一般是在当实际情况与库中的数据不一致时，比如当电压增大，增延迟肯定是减小的，这个时候查找表的数据一定要重新修改的，那这一系列操作便是k库。
组合逻辑单元的时序模型
时序单元的时序模型
线载模型
