Re: [sv-bc] Query related with explicit name port declaration.

From: Greg Jaxon <Greg.Jaxon_at_.....>
Date: Fri Nov 13 2009 - 12:18:04 PST

Shalom, Dhiraj,

   Shalom is right about this syntax being illegal, but he's ducking the real
question about how named ports interact with ansi_port_declaration carryforward
of port_direction and net/variable/interface_port_header specifications.

module mod(output byte character, .P1(r), q);
   int  r;
endmodule

Do we need to specify direction for r?
Is specifying "int" type for r consistent with the "byte" type which seems to reach it?
What is the type of q?  byte, or logic?  Surely not int!

While implementing here recently I came to the opinion that the BNF is suggesting
that type info is lost, but that direction info can be carried through.
That gives the answers 1) NO, 2) YES, 3) output logic to my three questions. 

Bresticker, Shalom wrote:

I think this is not legal syntax, to specify a data type with an explicit port declaration:

ansi_port_declaration ::=
  [ net_port_header | interface_port_header ] port_identifier { unpacked_dimension }[ = constant_expression ]
| [ variable_port_header ] port_identifier { variable_dimension } [ = constant_expression ]
| [ port_direction ] . port_identifier ( [ expression ] ) 

The BNF seems to allow only the port direction.

Shalom


  

-----Original Message-----
From: owner-sv-bc@server.eda.org 
[mailto:owner-sv-bc@server.eda.org] On Behalf Of Dhiraj Kumar Prasad
Sent: Friday, November 13, 2009 11:35 AM
To: sv-bc@server.eda.org
Cc: Surya Pratik Saha
Subject: [sv-bc] Query related with explicit name port declaration.

Hello,

I have a query related with  explicit name port declaration.

For example

module mod(output logic .P1(r));
   int  r;
endmodule

In above testcases once a type is specified with port then is 
this(logic 
here) will be regarded
as type of  "r" ??

If yes then does the redefinition of variable "r" should be 
treated as 
illegal as the name
is previously declared.

If not then what is the significance of specifying explicit data 
type(logic here) with port .

Different standard tools are behaving in  different way.

Regards,
dhiRAj
    

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


  

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Fri Nov 13 12:19:54 2009