Project

General

Profile

Actions
Copy link

Feature #9990

closed

check for variable/net redeclarations

Added by Sergey Smolov almost 5 years ago. Updated about 4 years ago.

Status:
Closed
Priority:
High
Assignee:
Alexey Danilov
Target version:
0.1
Start date:
12/17/2019
Due date:
% Done:

50%

Estimated time:
Published in build:
0.1.3-beta-201002

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.

Actions
Copy link
 #1

Updated by Sergey Smolov over 4 years ago

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

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

Actions
Copy link
 #2

Updated by Alexey Danilov over 4 years ago

  • Status changed from Feedback to Resolved
Actions
Copy link
 #3

Updated by Alexey Danilov over 4 years ago

  • % Done changed from 0 to 50
Actions
Copy link
 #4

Updated by Alexey Danilov over 4 years ago

  • Status changed from Resolved to Open
Actions
Copy link
 #5

Updated by Alexey Danilov over 4 years ago

  • Status changed from Open to Resolved
Actions
Copy link
 #6

Updated by Sergey Smolov over 4 years ago

  • Status changed from Resolved to Verified
Actions
Copy link
 #7

Updated by Sergey Smolov about 4 years ago

  • Status changed from Verified to Closed
Actions
Copy link
 #8

Updated by Sergey Smolov about 4 years ago

  • Published in build set to 0.1.3-beta-201002
Actions
Copy link

Also available in: Atom PDF