title: SVA (SystemVerilog Assertions) : Difference between $assertoff and $assertkill?
body: <p>With SystemVerilog Assertions what is the difference between <code>$assertoff;</code> and <code>$assertkill;</code> ?</p>
  
  <p>They both seem to stop the execution of the assertions.</p>