Re: [sv-ac] Issue 805

Hello Mr. Bustan;

I have confused John's previous statement that converting R |-> P into
a sequence R ##0 P for the purposes of coverage with the need for
first match for some uses of R |-> P.


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