Aug 2, 2012 #1 M my2817 Newbie level 4 Joined Sep 1, 2011 Messages 6 Helped 0 Reputation 0 Reaction score 0 Trophy points 1,281 Activity points 1,320 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 !
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 !
Aug 14, 2012 #2 S sam536 Full Member level 5 Joined Jul 4, 2007 Messages 244 Helped 50 Reputation 102 Reaction score 36 Trophy points 1,308 Location Tokyo Activity points 3,028 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
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
Aug 14, 2012 #3 dftrtl Banned Joined Feb 1, 2011 Messages 347 Helped 76 Reputation 152 Reaction score 74 Trophy points 1,308 Location Bangalore Activity points 0 SDF Version 3.0 should solve your issue.