Can we use $display in property assertions

[dave_59]

In reply to venkatasubbarao:

You can, but you have a syntax error. Need a comma ‘,’ before the $display. After you fix that, you have another functional problem.