In reply to ce_2015:
You are correct, one case is missing, the te3 ##2 te4 ##2 te5 that starts at cycle 2. Figure 16-10—ORing (or) two sequences shows the case when two matches for the composite sequence are recognized. This would have significance when that ORing sequence is used in an antecedent since all ORing possibilities (and consequents)must be evaluated for a property to be true. Maybe the committee felt it was too confusing to show both cases. Don’t expect any changes, as the text is clear on the intent.
BTW, I am a member of the AC committee.
Ben Cohen
http://www.systemverilog.us/ ben@systemverilog.us
For training, consulting, services: contact Home - My cvcblr
- SVA Handbook 4th Edition, 2016 ISBN 978-1518681448
- A Pragmatic Approach to VMM Adoption 2006 ISBN 0-9705394-9-5
- Using PSL/SUGAR for Formal and Dynamic Verification 2nd Edition, 2004, ISBN 0-9705394-6-0
- Real Chip Design and Verification Using Verilog and VHDL, 2002 isbn 978-1539769712
- Component Design by Example ", 2001 ISBN 0-9705394-0-1
- VHDL Coding Styles and Methodologies, 2nd Edition, 1999 ISBN 0-7923-8474-1
- VHDL Answers to Frequently Asked Questions, 2nd Edition ISBN 0-7923-8115