[sv-ac] Proposal for statement_or_null production question for pass actionblock

Subject: [sv-ac] Proposal for statement_or_null production question for pass actionblock
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Mar 31 2003 - 08:02:26 PST

Hi Arturo;

That may well be true. However, all it takes is a simple syntax
change to modify the BNF so that the ';' before the 'else' is no

So I propose the following BNF addition:

Allow the action_block to have another alternative production.

action_block ::= ...
    | else statement_or_null

So that

     assert (a&b|c)
       else $error("Bad combination of variables");

is legal.

     Adam Krolnik
     Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074

This archive was generated by hypermail 2b28 : Mon Mar 31 2003 - 08:04:32 PST