[sv-ac] BNF questions.

Subject: [sv-ac] BNF questions.
From: Adam Krolnik (krolnik@lsil.com)
Date: Fri Mar 28 2003 - 11:39:51 PST

• Next message: Adam Krolnik: "[sv-ac] Confused by default clock operations."
• Previous message: Bassam Tabbara: "RE: [sv-ac] Inline properties proposal"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all;

Looking through the BNF, I noted these productions as possibly the wrong ones.

1. sequence_element :== [event_control] sequence_element

    event control allows @(*) which is most likely undesired.

2. sequence_abbrev points to the repeat operator only. This could be removed.

3. sequence_decl_item ::= variable_declaration

   variable_declaration allows static or dynamic keywords. Is this expected?

   variable_declaration also allows this to be written

     sequence findit;
        int a = 0;
        ...

   Does this mean the variable is initialized at the start of each use of the
   sequence? This would be a good thing and a replacement for

     1, a = 0 ##0 ...

4. Since we now allow port connections in SV 3.x as:
       .clk, // equivalent to .clk(clk)

    Should this be allowed for sequence, property and template instantiations?
    I would say yes.

Thanks.

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

• Next message: Adam Krolnik: "[sv-ac] Confused by default clock operations."
• Previous message: Bassam Tabbara: "RE: [sv-ac] Inline properties proposal"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Mar 28 2003 - 11:46:13 PST