RE: [sv-bc] e-mail ballot due Monday, Feb 18, 8AM PST

From: Alsop, Thomas R <thomas.r.alsop_at_.....>
Date: Tue Feb 12 2008 - 17:40:03 PST
Doug,

 

Please see embedded comments. Rev8 uploaded with fixes. Thanks, -Tom

 

>-----Original Message-----

>From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org] On

>Behalf Of Warmke, Doug

>Sent: Tuesday, February 12, 2008 5:14 PM

>To: Maidment, Matthew R; Bresticker, Shalom; sv-bc@server.eda.org

>Subject: RE: [sv-bc] e-mail ballot due Monday, Feb 18, 8AM PST

> 

>Doug's votes:

> 

>SVDB 1828 _X_Yes   ___No

>http://www.eda.org/svdb/view.php?id=1828

> 

>SVDB 2008 _X_Yes   ___No

>http://www.eda.org/svdb/view.php?id=2008

> 

>Friendly amendments:

>1. The word "violation" in the sentence "If a violation report flush

>   point is reached in a process,..." should not be italicized.

>   (2nd to last sentence in 3rd paragraph of 12.4.2.1)

[Alsop, Thomas R] Fixed.

 

>2. The "u1" in the sentence "In this example, unique-if u1 is
checking..."

>   should be "a1".  Or, the example should have "a1" changed to "u1.

>   (End of 12.4.2.1)

[Alsop, Thomas R] a1 is the label in the outer procedural block. u1 is
the label used on the unique-if which is what the following sentence is
referring to.

 

>3. In the example in 12.4.2.2, the "end" at the end of "function bit
foo"

>   should be "endfunction"

[Alsop, Thomas R] Fixed.  Thanks.

 

>4. There should be more whitespace after the : in "...which may call

>assertion

>   a1:b1 and b2".  That is confusing-looking.

> 

[Alsop, Thomas R] Space added.

 

>SVDB 2219 _X_Yes   ___No

>http://www.eda.org/svdb/view.php?id=2219

> 

>SVDB 2043 _X_Yes   ___No

>http://www.eda.org/svdb/view.php?id=2043

> 

>SVDB 1564 _X_Yes   ___No

>http://www.eda.org/svdb/view.php?id=1564

> 

> 

>--

>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 Tue Feb 12 17:46:04 2008

This archive was generated by hypermail 2.1.8 : Tue Feb 12 2008 - 17:46:25 PST