SystemVerilog draft 7

Subject: SystemVerilog draft 7
From: Stuart Sutherland (stuart@sutherland-hdl.com)
Date: Sat Apr 27 2002 - 02:49:06 PDT

All,

The SystemVerilog Draft 7 is attached.  This is the draft that the V++ group will be voting to accept as SystemVerilog 3.0 this Monday, 29 March.

Draft 7 reflects the changes approved in Meeting 24, and from Peter Flake's e-mail dated 3/17/2002 "Actions from BNF review on March 14". (The latter should have been in draft 6, but was inadvertently omitted).

All deleted text since draft 6 is marked with strike-through bars.  All added text since draft 6 is in blue.  All "editor note" boxes have been taken care of--there are no editor notes remaining in draft 7.

The following list summarizes all changes between draft 6 and draft 7:

Removed section 9 on state machines.  Moved section 18 on assertions forward.  It
puts assertions in a more logical place in the LRM, and prevents throwing too
many section numbers off because of section 9 being deleted.

             WAS                                  NOW
   Section  8: Procedures                Section  8: Procedures
   Section  9: State Machines            Section  9: Processes
   Section 10: Processes                 Section 10: Tasks and functions
   Section 11: Tasks and functions       Section 11: Assertions
   Section 12: Hierarchy                 Section 12: Hierarchy
   ...
   Section 18 Assertions

Section 2.6 - Wording clean up, per meeting 24

Section 3.7 - Clarifications on structs and unions, per Peter's e-mail of 3/17/2002

Section 3.8 - Added BNF for casting, plus explanation and example of using '{}.
  QUESTION: Does the BNF include casting to a vector width, as described
  in section 3.8?

Section 5.3 - Clarifications on constants, per Peter's e-mail of 3/17/2002

Section 6.1 - Wording clean up, per meeting 24

Section 7.9 - Wording clean up, per meeting 24

Section 8.5 - Clarifications break/continue/return, per Peter's e-mail of 3/17/2002

Section 8.6 - Clarification on disabling labeled statements, per meeting 24

Section 12.1 - Added .name to new features list, per meeting 24

Section 12.8 - Clarifications to port connection rules, per Peter's e-mail of 3/17/2002

Section 13.5.1 - Clarifications to function prototypes, per Peter's e-mail of 3/17/2002

Section 16.5 - Added BNF for Assertion Controls
  QUESTION: Only section 16.5 uses a BNF style for showing system task arguments.
  Either all other sub sections of section 16 should use BNF, or 16.5 should remove
  the BNF box and use a text description similar to the rest of section 16.
 
Annex A (BNF) - Several changes...look for change bars and colorized text.

Annex B (Keywords) - Removed "state"

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland                                  Sutherland HDL Inc.
stuart@sutherland-hdl.com                          22805 SW 92nd Place
phone: 503-692-0898                                Tualatin, OR 97062
www.sutherland-hdl.com
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

This archive was generated by hypermail 2b28 : Sat Apr 27 2002 - 02:51:56 PDT