sdf 反标 VCS仿真

在 vcs命令中用 -y 指定库的目录 用+libext+.v指定库文件扩展名-sdf进行反标然后仿真
我想知道的：1 两个库文件 其中的负时序库干什么用的?怎么产生的?
2 使用+libext+.v指定库文件扩展名指定库文件，还是用-v来指定，有什么区别?

1，支持负值的timing check

对的

不太懂啊，不太懂、

比如 负的hold time， 很正常啊，