Re: [sv-ac] Issue 805

Hello Mr. Bustan;

I thought the use of R |-> P in coverage was to obtain first match semantics.

Would not the addition of a first match operator allow fusion of R and
first match P  to produce the desired coverage result?



-- 
     Adam Krolnik
     ZSP Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074
     Co-author "Assertion-Based Design"