Actions
Bug #10141
closedcheck port redeclarations
Start date:
03/03/2020
Due date:
% Done:
0%
Estimated time:
Detected in build:
master
Platform:
Published in build:
0.1.3-beta-201002
Description
IEEE-1364-2005 12.3.3
If a port declaration includes a net or variable type, then the port is considered completely declared, and it is an error for the port to be declared again in a variable or net data type declaration. Because of this, all other aspects of the port shall be declared in such a port declaration, including the signed and range definitions if needed. If a port declaration does not include a net or variable type, then the port can be again declared in a net or variable declaration. If the net or variable is declared as a vector, the range specification between the two declarations of a port shall be identical. Once a name is used in a port declaration, it shall not be declared again in another port declaration or in a data type declaration.
Updated by Sergey Smolov over 4 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov about 4 years ago
- Status changed from Verified to Closed
- Published in build set to 0.1.3-beta-201002
Actions