2014-11-24 67 views
0

我使用编程用Verilog +系统的Verilog以下工具,我想知道,其能够检测变量没有正在使用中:查找未使用的变量

  • 的Eclipse
  • Eclipse的DVT延伸
  • Cadence的工具
+0

Cadence切换覆盖可以帮助模块变量(不确定类变量)。 – toolic 2014-11-24 17:56:33

+0

您可能想尝试Cadence IFV,静态形式验证工具 - 它可以检测未使用的变量,甚至未初始化的变量 – AldoT 2014-11-25 08:49:31

+0

@AldoT IFV和HAL之间有什么区别? – user2692669 2014-11-25 11:25:09

回答

1

我不认为DVT可以检测未使用的变量,但AMIQ有一个称为Verisimo可以做到这一点,据我所知其他产品。

此外,尝试使用Cadence的HAL(HDL高级Linter)来查看它们是否支持这一点(这对于linter来说是非常基本的东西)。