[sv-ec] Re: Mailbox - null return

In http://www.eda.org/sv-bc/hm/4469.html , Dave explains to the SV-BC
about an apparent mailbox erratum found by Cliff.  But mailboxes are an
SV-EC issue.

 

Could the SV-EC please look into this issue, and if, as Dave
convincingly argues, it is truly an erratum, take ownership of it?

 

Thanks,

 

-- Brad