Re: [sv-bc] Is packed dimension allowed for type variable?

From: Surya Pratik Saha <spsaha_at_.....>
Date: Tue Oct 20 2009 - 22:51:42 PDT

Thanks Dave for your comments. I have filed Mantis 2907 for that.

Regards
Surya

-------- Original Message  --------
Subject: Re:[sv-bc] Is packed dimension allowed for type variable?
From: Rich, Dave <Dave_Rich@mentor.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com>, sv-bc@eda.org <sv-bc@eda.org>
Cc: "Sourasis Das" <sourasis@cal.interrasystems.com>
Date: Wednesday, October 21, 2009 11:09:21 AM

Surya,

I think this may be just an oversight in the BNF.  Regardless, the
declaration in the second module top should be legal with the current
LRM.

Dave




  

-----Original Message-----
From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org]
    

On
  

Behalf Of Surya Pratik Saha
Sent: Thursday, October 15, 2009 10:19 PM
To: sv-bc@eda.org
Cc: Sourasis Das
Subject: [sv-bc] Is packed dimension allowed for type variable?

Hi,
As per the BNF, packed dimension can not be present after
type_reference. So following e.g. is illegal:

module top;
    var type(logic) [2:0] x;
endmodule

But if we declared via a typedef like:
module top;
    typedef type(logic) mytype;
    mytype [2:0] x;
endmodule

Is it allowed? If yes, then is it not logical to allow packed
    

dimension
  

with direct type_reference when the type used in type_reference is
integer_vector_type.

--
Regards
Surya




--
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. Received on Tue Oct 20 22:58:33 2009