ModelSim SE User's Manual - Electrical and Computer Engineering

REMOVAL is matched to $removal:
SDF Verilog
(REMOVAL (negedge reset) (posedge clk) (5)) $removal(negedge reset, posedge clk, 0);
RECREM is matched to $recovery, $removal, and $recrem:
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);
SKEW is matched to $skew:
SDF Verilog
(SKEW (posedge clk1) (posedge clk2) (5)) $skew(posedge clk1, posedge clk2, 0);
WIDTH is matched to $width:
SDF Verilog
(WIDTH (posedge clk) (5)) $width(posedge clk, 0);
PERIOD is matched to $period:
SDF Verilog
(PERIOD (posedge clk) (5)) $period(posedge clk, 0);
NOCHANGE is matched to $nochange:
SDF Verilog
(NOCHANGE (negedge write) addr (5) (5)) $nochange(negedge write, addr, 0, 0);
Verilog SDF UM-447
ModelSim SE User’s Manual