Is this a valid module statement?

[Visa Inquirer]

I am particularly interested in .T_001(B) part.

module arbiter (
A,
.T_001(B)
);


So is this valid?

Thank you!

 

Visa Inquirer wrote:

I am particularly interested in .T_001(B) part.

module arbiter (
A,
.T_001(B)
);


So is this valid?

Yes, this is valid, assuming that the ports A and B are then declared
inside the module body.

The .T_001(B) part declares a port that has an external name of T_001
and is connected to the internal port B. The name B is used inside the
module. The name T_001 would be used in an instantiation of the module
to connect to that port by name. For example

arbiter a1(.A(a), .T_001(d));

The simple declaration of A declares a port with an external name of A
connected to the internal port named A.