[sv-ec] Resending : Clarification or Expedited resolution of Mantis ID 3657

There seems to be a conflict in the section 19.5.4 section ( Wildcard specification of coverage point bins)
and section 19.5.7 (Value resolution )  for a particular case of NON wild card bin having X or Z .


eg   for   bin[]=   { 4'b10XZ  }  ;

Q )     Should one check explicitly for X and Z using === operator as per  section 19.5.4

OR

   Issue a Warning as per section 19.5.7  Value resolution, sub-section b 3) as below


" ...
3) If b yields a value with any x or z bits.

This rule does not apply to wildcard bins because x
and z shall be treated as 0 and 1 as described above.
... "

The same had been captured earlier in Ref Mantis ID 3657 and is awaiting comments / resolution .

Could  someone clarify the above case above by way of comments /  clarification or expedite the resolution on this ID ?


Regards ,
Anupam Singal
sanupam@cadence.com<mailto:sanupam@cadence.com>





-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.