negative delay backannotation

hello forum

i am getting this while backannotating

ncelab: *W,SDFNL1 (..../UMK90LSCLLGDH_B01/verilog/uk90lscllgdh.v,42289|8): Attempt to annotate a negative value to a 1 limit timing check in instance (tb.i_vdt_top.spr_182.spr_gate3077), setting to 0 <..../vdt_top.max.sdf.gz, line 33318>.
    $hold( posedge CK &&&

whose meaning is

ncelab/SDFNL1 =
        Attempt to annotate a negative value to a 1 limit timing check.
        Negative values are only allowed in $setuphold, $recrem and the
        non-standard 2-limit version of $recovery.

at line 42289 of uk90lscllgdh.v i see

    // removal
    $hold( posedge CK, posedge RB, 1.0, notifier );

i.e. i can find a  $hold and not $recrem.

i think the problem is how the library is written

    // recovery
    $recovery( posedge RB, posedge CK, 1.0, notifier );

    // removal
    $hold( posedge CK, posedge RB, 1.0, notifier );

instead of

    // recovery and removal
    $recrem( ..... );

resulting in a backannotation of 0 instead of negative delay (ignmoring the warning may not help)

i got similar errors also on checks like

   $hold(posedge CK &&& (shcheckCKSDlh === 1'b1),
        |
ncelab: *W,SDFNL1 (..../uk90lscllgdh.v,32163|8): Attempt to annotate a negative value to a 1 limit timing check in instance (tb.i_vdt_top.i_vdt_core.i_access_if.i_iibus_reg_file.regfile_ro_reg_47__1_), setting to 0 <..../sdf/vdt_top.max.sdf.gz, line 142092>.

 

could you suggest a workaround for this before i contact the library vendor