Calling function in consequent of SVA

SystemVerilog
,
4

In reply to uvm_novice:

antecedent fails means its vacuous pass. In this case consequent will not be executed.
basically, the property will stop at the antecedent only.