芯片验证工程师-后仿环境一些设置参考

0、后仿介绍：

后仿走的是门电路，要去调用标准单元，而且这个后仿网表的instance数量很多，每个还要去计算延迟。前仿走与或非纯逻辑就行了

1、反标SDF文件介绍：

在SDF格式中可以指定固有延迟（intrinsic delays），互连延迟（interconnect delays），端口延迟（port delays），时序检查（timing checks），时序约束（timing constraints）和路径脉冲（PATHPULSE）。

使用VCS读取SDF文件时，会将延迟值“反向标注（back-annotates）”到设计中，即在源文件中添加或者更改延迟值。

2、反标系统函数介绍

$sdf_annotate(“sdf_file”[,module_instance][,“sdf_configfile”][,“sdf_logfile”][,“mtm_spec”][,“scale_factors”][,“scale_type”]);

其中：

“sdf_file”：指定SDF文件的路径。

module_i