User`s manual

Verilog SDF
8-226 Standard Delay Format (SDF) Timing Annotation ModelSim Xilinx User’s Manual
RECREM is matched to $recovery, $removal, and $recrem:
SKEW is matched to $skew:
WIDTH is matched to $width:
PERIOD is matched to $period:
NOCHANGE is matched to $nochange:
SDF Verilog
(RECREM (negedge reset) (posedge clk) (5) (5)) $recovery(negedge reset, posedge clk, 0);
(RECREM (negedge reset) (posedge clk) (5) (5)) $removal(negedge reset, posedge clk, 0);
(RECREM (negedge reset) (posedge clk) (5) (5)) $recrem(negedge reset, posedge clk, 0);
SDF Verilog
(SKEW (posedge clk1) (posedge clk2) (5)) $skew(posedge clk1, posedge clk2, 0);
SDF Verilog
(WIDTH (posedge clk) (5)) $width(posedge clk, 0);
SDF Verilog
(PERIOD (posedge clk) (5)) $period(posedge clk, 0);
SDF Verilog
(NOCHANGE (negedge write) addr (5) (5)) $nochange(negedge write, addr, 0, 0);