There are two standard assertion langages PSL (Property
Specification Language) and SVA (SystemVerilog Assertions). They are
both IEEE standards and they are both supported by most EDA vendors.
Which one should I use?
SVA is part of the SystemVerilog language so if your design is in SystemVerilog, SVA is a good choice.
PSL is a property language designed to work with Verilog, VHDL,
SystemVerilog and SystemC so if your design is VHDL or a mix of
languages, PSL is a good choice.
Both language offer similar capabilities but there are a couple of differences: