RE: [sv-ac] E-mail Ballot Results: June 28, 2011

Hi Thomas,
I sent one friendly amendment:

"
One comment:
Insert a reference to 17.3 or F4.1 in the following "If a sequence with a method is connected to a port of a checker instantiation, it is substituted in place of the corresponding formal argument (see ???). Such a sequence shall be clocked as if it were instantiated inside the checker."
"
--------------------------------
Jacob M. Katz | jacob.katz@intel.com | Work: +972-4-865-5726 | iNet: (8)-465-5726

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Thomas J Thatcher
Sent: Tuesday, June 28, 2011 18:31
To: sv-ac@eda.org
Subject: [sv-ac] E-mail Ballot Results: June 28, 2011

                        Mantis 2412
                        -----------
Ashok Bhatt
Laurence Bisht y
Eduard Cerny y
Ben Cohen y
Shaun Feng
Tapan Kapoor
Jacob Katz y
Scott Little y
Manisha Kulshrestha y
Anupam Prabhakar y
Samik Sengupta y
Tom Thatcher

The ballot for 2412 passes, 8y, 0n, 0a

There were no friendly amendments.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
---------------------------------------------------------------------
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.