Re: [sv-ec] query regarding pattern matching

I don't agree that the BNF would accept this syntax.  There would need
to be an apostrophe at the start of the pattern.

Also, immediately before the "Pattern syntax" box the text says that
"For tagged union patterns, the identifier following the tagged keyword
is a union member name."  But 't1' is not a union member name.

Perhaps it would make the BNF clearer to write instead

   pattern ::=
        ...
      | tagged tagged_union_member_identifier [ pattern ] 
      | ...

   tagged_union_member_identifer ::= member_identifier

or to add a Footnote to A.10.

-- Brad

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Moumita
Sent: Tuesday, August 14, 2007 7:24 AM
To: sv-bc; sv-ec
Subject: [sv-ec] query regarding pattern matching

Hello,
According to the BNF  following testcase is valid but  I can't
understand the meaning of this syntax and some of the simulator also
passing this testcase.

testcase:
-------
module top;
typedef union tagged{
       bit[7:0] t1[3];
       logic[2:0]t2[5];
}T12;

       T12 t12;

initial
   if (t12 matches (tagged t1 {8'b11001101, 8'b00110011, 8'b00110010}))
//is valid?
      begin
     end
endmodule

So is this testcase is valid semantically?

Thanks,

Moumita



--
This message has been scanned for viruses and dangerous content by
MailScanner, and is believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.