[sv-ac] Erratta in section 17.6, 17.10

Subject: [sv-ac] Erratta in section 17.6, 17.10
From: Adam Krolnik (krolnik@lsil.com)
Date: Thu Nov 06 2003 - 07:34:06 PST

• Next message: Adam Krolnik: "[sv-ac] Re: [sv-bc] Erratta or simple proposal for task, function, property,sequencearguments."
• Previous message: Adam Krolnik: "[sv-ac] [sv-bc] Erratta or simple proposal for task, function, property,sequence arguments."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Good morning;

1. Omission of formal_list_item in BNF syntax boxes.

Reading the 3.1_final spec, the BNF for sequence definition and property definition
omits the production formal_list_item.

This production shows the format of formal arguments to sequences and properties
and shows how default values can be specified. Default values are not described
or shown in any examples. Thus we need to include the BNF at the least, and add
some text to explain or demonstrate this.

My previous mail added a little about default argument values, we may want an example
or two.

2. Section 17.5 (Sequences) title is misleading.

This section would be better named "Sequence expressions", mirroring section 17.4
(Boolean expressions). Sequence (definition) is discussed in section 17.6 and is
followed by sequence operatoions. Thus the subsection titles would be

17.4 Boolean expressions
17.5 Sequence expressions
17.6 Declaring sequences
17.7 Sequence operations

      Adam Krolnik
      Verification Mgr.
      LSI Logic Corp.
      Plano TX. 75074
      Co-author "Assertion Based Design"

• Next message: Adam Krolnik: "[sv-ac] Re: [sv-bc] Erratta or simple proposal for task, function, property,sequencearguments."
• Previous message: Adam Krolnik: "[sv-ac] [sv-bc] Erratta or simple proposal for task, function, property,sequence arguments."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Nov 06 2003 - 07:34:46 PST