PT SDF如何写出 Timing Check Value 为负数

请教一下：PT timing report中的setup值为负数，但是写到SDF中就变成了0.
用的command是write_sdf -version 3.0 -compress gzip.
这里没有使用option （-no_negative_values），照理说应该写出负值才对。
是我的SDF版本指定的太新了吗?
谢谢！

自己更新了，发现PT 如果指定SDF版本为 3.0，则无法写出负的timing check到SDF文件中，会用0代替。
如果指定SDF版本为2.1， 则可以写出负的timing check.
看起来似乎是PT的一个bug.