[sv-bc] MERGE REVIEW draft 2: Chapter 9

9.1 "the always procedures shall execute repeatedly. Its activity shall"
Maybe "an always procedure"?

9.1.2.2.2 contrasts always_comb vs. an @* at the beginning of a general
purpose always block before @* has been introduced.

9.1.3 "the final procedure does not execute as a separate process;
instead, it executes in zero time, as a series of function calls from a
single process"  Why a "series" of functions calls?  Is this trying to
say that each final procedure is like a function and all of the final
procedures are called by a single process?

9.1.3 "All final procedure shall execute" Should be "procedures".

9.2  "The procedural statements in sequential block"  Missing "a"?

9.2  "The procedural statements in parallel block" Missing "a"?

9.3.2.2 "@*, is a convenient shorthand that eliminates these problems by
adding all nets and variables that are read by the statement (which can
be a statement group)"  It "eliminates" them?  And what is a "statement
group"?  -- can the parenthetical comment be removed?  What happens if
the statement reads no nets or variables (as with a null statement or
the assignment of a constant value), or if all of the reads are hidden
by a function call? -- an error because the sensitivity list is empty?

9.5 "The process control statements have the syntax form shown in Syntax
9-7."  "have the syntax form" is an odd phrase.

9.5.2, Example 4 -- "However, a task disabling itself using a disable
statement is not a shorthand for the return statement"  There is an
extra newline, and 'return' should be in a monospaced font, not
italicized.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.