sdf反标之RETAIN信息

RETAIN TIME指的是从输入变化后开始计算，输出保持的时间。过了RETAIN TIME后，输出会出现一段X态，直到最终稳定。网表的sdf文件里面会标注路径的RETAIN信息，比如一个两输入的与门：

and u(qout, d1, d2);
specify
    (d1 => qout) = (10);
    (d2 => qout) = (10);
endspecify

它的sdf反标信息如下：

(IOPATH d1 qout (RETAIN (5)) (10) )
(IOPATH d2 qout (15) )

正常仿真时，其波形如下：

在vcs仿真器中，我们可以通过编译参数来改变这一行为。

编译选项加入-sdfretain -xlrm alt_retain后，仿真就不再出现RETAIN TIME后的X态（数据会保持不变）。vcs中称这一模式为optimistic mode，估计是对仿真速度什么的有积极的优化效果。