[sv-champions] vote

Hi Neil,

I am ok with 3213, but I am a little hesitant on 3033, the reason is that I do not understand
why there were so many restrictions in checkers in 2009 that are now being made legal in checkers.
So I would suggest that 3033 be reviewed by the BC committee since the contructs like always_ff, continuous
assign and NBAs are being added to checkers.

3213<http://www.eda-twiki.org/svdb/view.php?id=3213> SV-AC Update definition of sampled value
There is a proposal (11 pages)
The proposal amended following Stu's comments was accepted by the voice vote 2011-10-11: 8y/0n/0a.

Approve _X_ Oppose __

 1.
3033<http://www.eda-twiki.org/svdb/view.php?id=3033> SV-AC Enhance checker modeling capabilities
There is a proposal (19 pages)
Some of the Champions needed more time to review the proposal.
Changed the proposal summary to "Enhance checker modeling capabilities" following Shalom's request. This change was approved by the SV-AC voice vote 2011-10-11: 8y/0n/0a.

Approve __ Oppose __

I am not voting on this one.

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