Hi Ben,
thanks a lot for the detailed reply and explanation with waveforms.
One related question: In section 2.3.2 (page 30) of your book, it says "
"For non-vacuous pass, there must be at least one matched antecedent with successful non-vacuous property, which represents consequent. There must be no failures in consequent. Some threads may however be vacuous. "
I am little confused due to word “at least” above, which seems to imply that even if one thread in antecedent succeeds, property would succeed. This indicates OR relationship rather than AND. Can you please clarify this.
rgs,
-sunil