In reply to Srini @ CVCblr.com:
Srini, my co-author on many books, I like your sva solution. I should have thought of it. A minor comment, if reset stayed low all the time the assertion would not fail. The ‘s_eventually’ issue. The fork-join_none solution addresses that.
Ben systemverilog.us