[sv-bc] RE: [sv-cc] New P1800 technical committee - Call For Participation - reminder

From: Seligman, Erik <erik.seligman_at_.....>
Date: Mon Apr 07 2008 - 08:11:50 PDT
This was actually a request that came out of the SV-CC meeting.  The
thought was that case constructs in assertions might be a messy enough
addition that it's better to have the new committee consider them.  
 

-----Original Message-----
From: owner-sv-cc@server.eda.org [mailto:owner-sv-cc@server.eda.org] On
Behalf Of Bresticker, Shalom
Sent: Sunday, April 06, 2008 12:21 AM
To: Neil.Korpusik@sun.com
Cc: sv-ac@server.eda.org; SV_BC List; sv-cc@server.eda.org; SV_EC List;
ieee1800@server.eda.org
Subject: RE: [sv-cc] New P1800 technical committee - Call For
Participation - reminder

Hi, 

> I think we should add to the list for this new committee (Erik)
> 
> 9.  2173
> 10. 2326
> 11. 2327

Is this Erik's personal request or an SV-AC request?
Who decides what issues the new sub-committee deals with?

I don't think these are related to checkers or assertions in procedural
code, so I would be reluctant to have the new sub-committee deal with
these as well. I think it would be a diversion and a dilution of the
work, which is going to be hard enough even without these additional
issues.

(It would be nice if this new sub-committee had a short name. It's
awkward saying "the new techical sub-committee" alll the time...)

Thanks,
Shalom
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution by
others is strictly prohibited. If you are not the intended recipient,
please contact the sender and delete all copies.


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



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Apr 7 08:13:01 2008

This archive was generated by hypermail 2.1.8 : Mon Apr 07 2008 - 08:13:57 PDT