failed to find hold timingcheck
gate level sim in Verilog XL with sdf file generated by synopsys , error occurs at "(HOLD (COND RN == 1 (posedge D)) (COND RN == 1 (negedge CKN)) (0.052:0.055:0.055))" in sdf, but ok when change the sdf file to "(HOLD (posedge D) (negedge CKN) (0.052:0.055:0.055))" , why ?
Can I generate a sdf without "COND" keywords ? Or should I change the sim library which describe the D Flip-Flop with asynchronous reset as " $hold ( negedge CKN, posedge D &&& _docheck1, 100000.0:100000.0:100000.0
, notifier );" ?