Project

General

Profile

Feature #9990

check for variable/net redeclarations

Added by Sergey Smolov 4 months ago. Updated 30 days ago.

Status:
Open
Priority:
High
Target version:
Start date:
12/17/2019
Due date:
% Done:

50%

Estimated time:
Published in build:

Description

As it is specified in IEEE-1364-2005 Standard for Verilog Hardware Description Language,

It is illegal to redeclare a name already declared by a net, parameter, or variable declaration.

So the tool should detect erroneous redeclarations.

For more details see 4.2.1 and 4.2.2 chapters.

History

#1

Updated by Sergey Smolov about 1 month ago

  • Priority changed from Normal to High
  • Assignee changed from Alexander Kamkin to Alexey Danilov
  • Status changed from New to Feedback

Alexey, could you implement this small feature? It is relevant to your work at VeriTrans.

#2

Updated by Alexey Danilov 30 days ago

  • Status changed from Feedback to Resolved
#3

Updated by Alexey Danilov 30 days ago

  • % Done changed from 0 to 50
#4

Updated by Alexey Danilov 30 days ago

  • Status changed from Resolved to Open

Also available in: Atom PDF