What is the abbreviation for System verilog assertion?

Looking for the shorthand of System verilog assertion or how to abbreviate it? We have 2 shorthands for System verilog assertion.