假设(X1,X2)为二元高斯随机向量,均值(μ1,μ2),标准差(σ1,σ2),相关系数ρ
定义:X=max(X1,X2),Y=min(X1,X2)
SSTA中计算setup/hold的worst delay时即求X、Y,路径N对应维度为N维。
X的概率密度函数PDF为f(x)=f1(-x)+f2(-x),f1和f2为:
其中小Φ和大Φ分别代表标准正态分布的PDF和CDF(累积分布函数)。
Y的概率密度函数为f(y)=f1(y)+f2(y),f1和f2为:
X和Y的一、二阶矩分别为:
其中θ为: