Verdi工具使用手冊

導言：

今天給大家?guī)淼氖墙浀潆娮訒Y料分享。

本資料來源于網絡，主要是學習分享，請勿進行商業(yè)盈利。

書籍名字：《Verdi基礎》 ，來源于網絡

Part.01、基礎概念

1. 波形依賴

Verdi本身無法生成波形，需配合VCS等仿真工具生成`.fsdb`文件。

2. 核心功能模塊

? nTrace：代碼調試與追蹤

? nSchema：原理圖分析

? nState：狀態(tài)機調試

? nWave：波形分析

Part.02、環(huán)境配置

1. `.bashrc`設置

```bash

export Verdi_HOME=/opt/Synopsys/Verdi2015

export PATH=$Verdi_HOME/bin:$PATH

export LD_LIBRARY_PATH="/opt/Synopsys/Verdi2015/share/PLI/lib/linux64"

```

2. VCS編譯選項

? 添加PLI庫路徑：

```makefile

VERDI_SW = -P$(Verdi_HOME)/share/PLI/VCS/linux64/novas.tab $(Verdi_HOME)/share/PLI/VCS/linux64/pli.a

```

Part.03、生成波形文件

1. 測試臺（TB）配置

```verilog

initial begin

$fsdbDumpfile("fifo.fsdb");

$fsdbDumpvars(0); // 0表示轉儲所有層次信號

end

```

2. Makefile編譯命令

```makefile

versim:

$(NOR_VCS) $(VERDI_SW) $(RUN_VER)

verdi -sv -f $(src_list).f -ssf *.fsdb -nologo

```

Part.04、nTrace代碼調試

1. 核心操作

? 調用Verdi：`verdi -nologo`

? 查找實例化位置：雙擊模塊名 → 高亮后再次雙擊跳轉上層調用位置。

? 信號追蹤：

? 驅動信號：雙擊信號 → 按`N/P`查看前/后驅動位置。

? 被驅動信號：選中信號 → 點擊 ![驅動圖標] → `N/P`切換。

? 字符串查找：快捷鍵 `/` 或文本搜索。

Part.05、nSchema原理圖分析

1. 操作技巧

? 跳轉源代碼：雙擊原理圖符號。

? 顯示信號名：通過菜單顯示RTL級端口/模塊名。

? Fan-In Cone追蹤：選中信號 → 點擊 ![Fan-In圖標] 查看驅動邏輯。

? 部分層次原理圖：多選信號 → 生成關聯邏輯視圖。

? 元件移動：左鍵選中 → 右鍵拖拽。

Part.06、nState狀態(tài)機調試

1. 狀態(tài)機視圖

? 打開方法：雙擊狀態(tài)機模塊 → 自動生成狀態(tài)轉移圖。

? 狀態(tài)轉移條件：點擊轉移箭頭查看觸發(fā)條件（需導入波形）。

? 執(zhí)行次數統計：需配合測試用例，分析覆蓋率。

? 關聯源代碼：中鍵拖拽狀態(tài)到nTrace窗口。

Part.07、nWave波形分析

1. 波形操作

? 添加信號：快捷鍵 `G` 或右鍵菜單。

? 信號查找：`Get Signal` 或從nTrace拖入。

? 信號分組：

? 重命名組：右鍵編輯

? 調整順序：中鍵拖拽

? 顯示優(yōu)化：

? 顏色修改：`Tools → Preferences → Waveform → View Options` → 啟用顏色后按 `C`。

? 進制轉換：右鍵信號 → 選擇二進制/十六進制/狀態(tài)名。

2. 高級功能

? 邏輯操作生成新信號：`Tools → Signal Calculator`。

? 波形對比：導入兩個`.fsdb`文件 → 差異分析。

Part.08、常用快捷鍵