[sv-ec] P1800 draft 2 review: Chapter 4 (pre-890)

From: Heath Chambers <hmcdvi_at_.....>
Date: Wed Apr 11 2007 - 09:43:51 PDT
This review is based on the pre-890 version of the chapter.
Everything is consistent with the original documents except
where I have noted below and potentially cross-section
references.
 
 
pg. 25-26
  4.5 Determinism
  4.6 Nondeterminism
  Both of these sections talk about adding events "on" the
  event regions.  Section 4.3 uses the term adding events
  "in" the event regions.
  I believe it reads better and is easier for a user to
  understand using "in".
  In either case, all of these sections need to be consistent
  with each other (i.e. either use "on" or "in").
 
 
pg. 27
  4.8.4 Nonblocking assignment
  Last sentence again uses "on" the event region (same issue as
  the above).
 
  The delay in this section is implied to be an intra-assignment
  delay as is explicitly stated in "4.8.3 Blocking assignment".
  Does this need to be explicitly stated here also to make it clear?
  If not, someone might incorrectly assume that a left-hand side
  delay will also give this behavior when in fact the evaluation
  and update will be done in the same time step after the left-hand
  side delay has been completed.
 
 
pg. 27
  4.8.5 Clocking block assignment
  I think it would be good to have at least an overview of this
  assignment here with a cross-section reference pointing to more
  details (i.e. similar to the other assignments).
 
 

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 Wed Apr 11 09:44:14 2007

This archive was generated by hypermail 2.1.8 : Wed Apr 11 2007 - 09:44:46 PDT