[sv-ec] Erratum and PROPOSAL (BNF) -- expect property statement

Subject: [sv-ec] Erratum and PROPOSAL (BNF) -- expect property statement
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Fri Dec 05 2003 - 15:59:45 PST

• Next message: Neil Korpusik: "Re: [sv-ec] EXT-12 email vote request"
• Previous message: Brad Pierce: "[sv-ec] Erratum and PROPOSAL -- void' casts"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

In the current BNF for expect property statements, the action block is
only optional, which has the undesired effect of making the terminating
semicolon of the statement also only optional.

The attached proposal to correct this assumes the following proposed
change that is currently before the SV-AC

       property_expr ::=
           sequence_expr
         | sequence_expr |-> [ not ] sequence_expr
         | sequence_expr |=> [ not ] sequence_expr
         | (property_expr)

   to

      property_expr ::=
           sequence_expr
         | (property_expr)
         | not property_expr
         | property_expr or property_expr
         | property_expr and property_expr
         | sequence_expr |-> property_expr
         | sequence_expr |=> property_expr
         | if (expression) property_expr [ else property_expr ]
         | property_instance

-- Brad

• text/html attachment: expect_property_statement.htm

• Next message: Neil Korpusik: "Re: [sv-ec] EXT-12 email vote request"
• Previous message: Brad Pierce: "[sv-ec] Erratum and PROPOSAL -- void' casts"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Dec 05 2003 - 16:03:19 PST