[sv-bc] P1800 draft 2 review: Annexes D, E, N, O, and P

From: Heath Chambers <hmcdvi_at_.....>
Date: Thu Apr 05 2007 - 12:30:27 PDT
Matt,
 
Note that you can put me as the reviewer of:
  Annexes D, E, N, O, and P
 
 
 
Stu,
 
Unless noted otherwise, all of the Annexes listed above look
good (barring cross-section references).
 
Here are my notes on the Annexes:
  Annex D:
    1. pg. 987: The list of system tasks and functions is missing
       after the second paragraph.
    2. pg. 987: Table B1 needs to be Table D1 or Table D.1.
  Annex E:
    1. pg. 993: The list of compiler directives is missing
       after the second paragraph.
 
  Annex O:
    1. pg. 1097: O.1.1: The descriptions/comments of the Encryption
       input pragmas should be tabbed over to form a column.
    2. pg. 1098: O.1.2: The descriptions/comments of the Encryption
       output items should be tabbed over to form a column.
    3. pg. 1098: O.1.2: The data_block item needs to be reformatted
       to have the decrypt_license, encrypt_license, and
       "<text found ...>" tabbed over as part of the description/comment.
    4. pg. 1098: O.2.1: Same comment as #1.
    5. pg. 1099: O.2.2: Same comments as #2 and #3.
    6. pg. 1100: O.3.1: Same comment as #1.
    7. pg. 1100: O.3.2: Same comments as #2 and #3.
 
 

Thanks,
-- Heath

####################################
|                                  |
| HMC Design Verification, Inc.    |
|                                  |
| Heath Chambers                   |
| President/Verification Designer  |
| 1203 San Juan Drive              |
| Roswell, NM 88201                |
|                                  |
| hmcdvi@msn.com                   |
| Phone: (505)627-2069             |
| Fax:   (505)627-2069             |
|  <http://hmcdv.iwarp.com/> http://hmcdv.iwarp.com           |
|                                  |
####################################


 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Apr 5 12:32:14 2007

This archive was generated by hypermail 2.1.8 : Thu Apr 05 2007 - 12:32:28 PDT