Project

General

Profile

[logo] 
 
Home
News
Activity
About/Contact
Major Tools
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
Other Tools
  BugVise
  CovVise
  Force-Gate-Sim
  Gspice
  IPC::Locker
  Rsvn
  SVN::S4
  Voneline
  WFH
General Info
  Papers

Issue #1395

Extend UNUSED to flag signals which are not in the cone of a module output

Added by Geoff Barrett 8 months ago. Updated 7 months ago.

Status:
Feature
Priority:
Normal
Assignee:
-
Category:
Lint
% Done:

0%


Description

The following code produces no warnings:

module unused_vars (
  input var logic ck,
  output var logic c
);

logic d, q;

always_ff @(posedge ck) q <= d;
always_comb d = q;

always_comb c = '0;

endmodule : unused_vars

The combination of UNUSED and UNOPTFLAT means (I think) that we will always get a warning if signals are not either in the cone of an output or a nonblocking assignment. However, d and q are only used by each other and can be eliminated from the module and it would be very useful to get a warning about this.

History

#1 Updated by Wilson Snyder 7 months ago

  • Status changed from New to Feature

Agreed this is useful and the base info is in the structures, but can't get to it soon.

Also available in: Atom