RE: [sv-ec] Re: Mailbox - null return

Mehdi,  Now you do need to take action.

 

Submitted as http://www.eda.org/svdb/bug_view_page.php?bug_id=0001459
with a proposal.

 

________________________________

From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Brad Pierce
Sent: Tuesday, May 09, 2006 6:38 PM
To: sv-ec@server.eda.org
Cc: Maidment, Matthew R
Subject: [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