后仿真中《SDF反标必懂连载篇》之 多个SDF 文件反标疑问

设计经过综合之后会生成门级网表，在门级网表里面包含了时序信息，这时的验证称之为后仿，除了验证功能是否满足，还要验证时序是否有违例的情况。

门级网表又分为，pr前和pr后，后端做完布局布线之后的，修改好timing的网表称为带时序的pr网表，pr网表进行仿真时，后端布局布线之后由“QRC”出spef，通过PT生成sdf，sdf文件中会把布局布线过程中器件延时和线延时记录下来，我们需要sdf文件用来告诉仿真工具真正的timing信息，仿真工具改变元件的默认timing。

SDF文件时序信息，进行反标，需要用到：

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

“sdf_file”指定sdf文件及其存放路径；

module_instance指定sdf文件的反标范围；

sdf_configfile”指定sdf配置文件；

“sdf_logfile”指定Sdf的log 生成文件，这个文件会保存vcs在运行过程中产生的error信息和warning信息。默