[sv-ac] SV-AC: "Which" for "tha"t editing changes

From: ben cohen <hdlcohen@gmail.com>
Date: Tue Jan 03 2012 - 11:47:26 PST

Below is a list of editing on the misuse of "which" for "that" or for the
omission of the "which"
I looked into sections 16 and 17. If you disagree with me and find a
better correction, let's do that.
It is very important that this document be grammatically correct, as much
as possible. The misuse of "which" for "that" pronoun is very common.
 Let's do the right thing at this go around.
Stuart, since these are English editing, you need to check the other
sections.
Ben

 1800’D4 page 40:

The syntax does not completely define the semantics of such qualified
terms; for example

while an identifier which that would qualify semantically as an
array_identifier is created by a declaration, such declaration forms are
not explicitly described using array_identifier in the syntax.

16.4 Deferred assertions, page 375

The requirement of a single subroutine call implies that no begin-end block
shall surround the pass or fail statements, as begin is itself a
statement which
that is not a subroutine call.

16.4.5 Deferred assertions and multiple processes, page 385

Some types of access may require creating a copy of the entire data
structure which could

incur a significant performance penalty.

Some types of access may require creating a copy of the entire data structure,
 which could

incur a significant performance penalty.

Page 389

constant_primary includes constant_expression which is computed at compile
time and shall result in an integer value.

constant_primary includes constant_expression which is computed at compile
time and shall result in an integer value.

*Page 422*

the assignment of a to v is performed first and the assignment of v || b to
w is performed second. The value assigned to w is the same as that which
would result from the declaration assignment w = a || b.

the assignment of a to v is performed first, and the assignment of v || b
to w is performed second. The value assigned to w is the same as that
which would
the result from the declaration assignment w = a || b.

*Page 503*

A final procedure within a checker may include any construct which is
allowed in a non-checker final procedure.

A final procedure within a checker may include any construct which is allowed
in a non-checker final procedure.

Google Docs makes it easy to create, store and share online documents,
spreadsheets and presentations.
[image: Logo for Google Docs] <https://docs.google.com>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Jan 3 11:48:23 2012

This archive was generated by hypermail 2.1.8 : Tue Jan 03 2012 - 11:48:27 PST