`ifdef VCS
`else
`delay_mode_path
`endif
`timescale 1 ns / 10 ps

`celldefine

module DFFS_K (Q,QBAR,CLK,D,S);

  output  Q;
  output  QBAR;
  input  CLK;
  input  D;
  input  S;

  reg    notifier;
  DFFS  i0 (Q,QBAR,CLK,D,S,notifier);

specify

  (posedge CLK => (Q +: CLK)) = (0.1:0.1:0.1, 0.1:0.1:0.1);
  (posedge S => (Q +: S)) = (0.1:0.1:0.1, 0.1:0.1:0.1);
  (posedge CLK => (QBAR +: CLK)) = (0.1:0.1:0.1, 0.1:0.1:0.1);
  (posedge S => (QBAR -: S)) = (0.1:0.1:0.1, 0.1:0.1:0.1);
  $setuphold (posedge CLK &&& ~S,posedge D,0.09,0.09,notifier);
  $setuphold (posedge CLK &&& ~S,negedge D,0.09,0.09,notifier);
  $width (negedge CLK &&& ~S,0.4,0,notifier);
  $width (posedge CLK &&& ~S,0.4,0,notifier);
  $width (posedge S,0.4,0,notifier);
endspecify

endmodule
`endcelldefine