More Draft 4 BNF comments

From: James A. Markevitch (jam@magic.com)
Date: Tue Jan 18 2000 - 16:19:27 PST


Here are some more comments on the Draft 4 BNF.

Section A.7.4

In the definition of full_edge_sensitive_path_description, the second
occurrence of list_of_path_inputs should be list_of_path_outputs.

Section A.7.5.2

In the definitions of delayed_data and delayed_reference, shouldn't the
square brackets be in bold?

Section A.7.5.2

In the definition of timing_check_limit, should it be defined as expression
or constant_expression?

Section A.7.5.3

In the definition of scalar_timing_check_condition, should it be defined
using expression or constant_expression?

Section A.9.3

In the definition of escaped_arrayed_identifier, shouldn't the inner set
of square brackets be in bold?

Section A.9.3

In the definition of escaped_hierarchical_identifier, the square brackets
enclosing the curly braces are redundant and should be removed.

Section A.9.3

In the definition of simple_arrayed_identifier, the square brackets should
be in bold.

Section A.7.4 and A.9.3

edge_identifier is defined in two different places and is defined to have
two different meanings. I believe that it should be removed from A.9.3.

Section A.8.1

In genvar_concatenation and genvar_multiple_concatenation, shouldn't
genvar_expression be used instead of expression?

Section A.6.4

There is no definition for procedural_timing_control_statement anywhere
in the BNF.

Section A.3.3

There is no definition for scalar_expression anywhere in the BNF.

James Markevitch



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:54:10 PDT and
sponsored by Boyd Technology, Inc.