RE: [sv-champions] Champions email vote - ending May 14th

An error in an example that is a syntax error is most definitely just an
editorial correction.  From this e-mail, however, I don't have enough
information on exactly where the error appears so that I can correct it.

Stu
~~~~~~~~~~~~~~
Stuart Sutherland
stuart@sutherland-hdl.com
(503) 692-0898


> -----Original Message-----
> From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On
> Behalf Of Bresticker, Shalom
> Sent: Tuesday, May 12, 2009 12:05 PM
> To: Korchemny, Dmitry; Neil.Korpusik@sun.com
> Cc: sv-champions@eda.org
> Subject: RE: [sv-champions] Champions email vote - ending May 14th
> 
> In my opinion, yes. It is essentially a typo.
> 
> Shalom
> 
> > -----Original Message-----
> > From: Korchemny, Dmitry
> > Sent: Tuesday, May 12, 2009 10:04 PM
> > To: Bresticker, Shalom; Neil.Korpusik@sun.com
> > Cc: sv-champions@eda.org
> > Subject: RE: [sv-champions] Champions email vote - ending May 14th
> >
> > Yes, you are right. But this typo existed already in LRM05,
> > and was not part of the ballot issue. Could it be handled as
> > an editorial issue then?
> >
> > Thanks,
> > Dmitry
> >
> > -----Original Message-----
> > From: Bresticker, Shalom
> > Sent: Tuesday, May 12, 2009 9:56 PM
> > To: Neil.Korpusik@sun.com; Korchemny, Dmitry
> > Cc: sv-champions@eda.org
> > Subject: RE: [sv-champions] Champions email vote - ending May 14th
> >
> > Neil,
> >
> > Heads-up on the following:
> >
> > > 14. 2541     Yes ___ No _x_ Abstain ___
> > >      SV-AC  syntax errors - missing parenthesis
> >
> > I think that parentheses are also missing near the end of 16.15.2:
> >
> > "a1:assume property @(posedge clk) req dist {0:=40, 1:=60} ;"
> >
> >
> > 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.