[i=s] 本帖最后由 走来走去 于 2021-6-8 15:35 编辑 [/i]

如果X ~ N(μx，σx2)与Y ~ N(μY，σY2)是统计独立的正态随机变量，那么：
它们的和也满足正态分布 U = X + Y ~ N(μx +μY , σx2 +σY2)

它们的差也满足正态分布 U = X - Y ~ N(μx -μY , σx2 +σY2)

U与V两者是相互独立的。（要求X与Y的方差相等）。

pocv时，一条path上的每个cell都服从正态分布，他们的和也服从正态分布，其μ值是各cell μ值的和，其σ值是各σ值的平方和再开方。

derating的计算方法如下：

The output of report_delay_calculation –derate command with POCV side file:

Cell delay derated = "Cell delay" * ( "POCVM guardband" * "POCVM distance derate" + "Incremental derate" ) 
Cell delay sigma = "Cell delay" * ( "POCVM guardband" * "POCVM coefficient" * "POCVM coef scale factor" )

The output of report_delay_calculation –derate command with POCV LVF:

Cell delay derated = "Cell delay" * ( "POCVM guardband" * "POCVM distance derate" + "Incremental derate" ) 
Cell delay sigma = "POCVM delay sigma" * ( "POCVM guardband" * "POCVM coef scale factor" )