2014-11-24 31 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來說是非常基本的東西)。