In reply to jaecho@broadcom:
BTW, I have your book (SystemVerilog Assertions Handbook) and just getting started with it.
I hope you find the book useful for your projects. Make sure you understand in chapter 1 the section on attempts and threads. Also make sure you understand the needs for the first_match operator. Understanding those concepts can save lots of time. The dictionary of examples is also very useful as it reinforces the uses of the various constructs.
Ben SystemVerilog.us