Hi Ben,
thanks for immediate reply. So that means, in case 2, the property is not true and assertion fails. Please confirm.
I have purchased your book “System verilog assertions handbook” 4th edition and have some questions regarding it. Can I write to you on “ben@systemverilog.us” for the queries regarding your book?
rgs,
-sunil