[SOLVED] Problem that when Prime Time write out a SDF file from a SPEF file

The problem is that when i check out the SDF file which written from Prime Time with a SPEF file. There is no time check for removal && it seems that all the removal check been changed to a hold check in the sdf file.Here is a example:
(CELL
(CELLTYPE "DSN")
(INSTANCE )
(DELAY
(ABSOLUTE
(IOPATH (posedge CK) Q (0.432::0.432) (0.458::0.458))
(IOPATH (posedge CK) QN (0.404::0.404) (0.377::0.377))
(COND CK===1'b1&&D===1'b0 (IOPATH (negedge SDN) Q (0.432::0.432) ()))
(COND CK===1'b1&&D===1'b0 (IOPATH (negedge SDN) QN () (0.377::0.377)))
(COND CK===1'b0&&D===1'b0 (IOPATH (negedge SDN) Q (0.517::0.517) ()))
(COND CK===1'b0&&D===1'b0 (IOPATH (negedge SDN) QN () (0.462::0.462)))
(COND CK===1'b0&&D===1'b1 (IOPATH (negedge SDN) Q (0.522::0.522) ()))
(COND CK===1'b0&&D===1'b1 (IOPATH (negedge SDN) QN () (0.467::0.467)))
(COND CK===1'b1&&D===1'b1 (IOPATH (negedge SDN) Q (0.432::0.432) ()))
(COND CK===1'b1&&D===1'b1 (IOPATH (negedge SDN) QN () (0.377::0.377)))
)
)
(TIMINGCHECK
(WIDTH (negedge CK) (0.178::0.178))
(WIDTH (posedge CK) (0.151::0.151))
(HOLD (posedge SDN) (posedge CK) (0.049::0.049))
(RECOVERY (posedge SDN) (posedge CK) (0.090::0.090))
(WIDTH (negedge SDN) (0.099::0.099))
(SETUP (posedge D) (COND ENABLE_SDN===1'b1 (posedge CK)) (0.319::0.320))
(SETUP (negedge D) (COND ENABLE_SDN===1'b1 (posedge CK)) (0.202::0.207))
(HOLD (posedge D) (COND ENABLE_SDN===1'b1 (posedge CK)) (-0.236::-0.236))
(HOLD (negedge D) (COND ENABLE_SDN===1'b1 (posedge CK)) (-0.087::-0.084))
)
)

what should i do now ?
Whatever， THX for your hotness !

Yes. Your understanding is correct.
If you use default SDF version(2.1), removal checks are converted into Hold and SDF will be written out.
use below command to check removal checks in SDF in PT.
write_sdf -version 3.0 -o SDF.sdf

Regards , Sam

SDF Version 3.0 should solve your issue.