導(dǎo)言:
今天給大家?guī)?lái)的是經(jīng)典電子書籍資料分享。
本資料來(lái)源于網(wǎng)絡(luò),主要是學(xué)習(xí)分享,請(qǐng)勿進(jìn)行商業(yè)盈利。
書籍名字:《Verdi基礎(chǔ)》 ,來(lái)源于網(wǎng)絡(luò)
Part.01、基礎(chǔ)概念
1. 波形依賴
Verdi本身無(wú)法生成波形,需配合VCS等仿真工具生成`.fsdb`文件。
2. 核心功能模塊
? nTrace:代碼調(diào)試與追蹤
? nSchema:原理圖分析
? nState:狀態(tài)機(jī)調(diào)試
? nWave:波形分析
Part.02、環(huán)境配置
1. `.bashrc`設(shè)置
```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編譯選項(xiàng)
? 添加PLI庫(kù)路徑:
```makefile
VERDI_SW = -P$(Verdi_HOME)/share/PLI/VCS/linux64/novas.tab $(Verdi_HOME)/share/PLI/VCS/linux64/pli.a
```
Part.03、生成波形文件
1. 測(cè)試臺(tái)(TB)配置
```verilog
initial begin
$fsdbDumpfile("fifo.fsdb");
$fsdbDumpvars(0); // 0表示轉(zhuǎn)儲(chǔ)所有層次信號(hào)
end
```
2. Makefile編譯命令
```makefile
versim:
$(NOR_VCS) $(VERDI_SW) $(RUN_VER)
verdi -sv -f $(src_list).f -ssf *.fsdb -nologo
```
Part.04、nTrace代碼調(diào)試
1. 核心操作
? 調(diào)用Verdi:`verdi -nologo`
? 查找實(shí)例化位置:雙擊模塊名 → 高亮后再次雙擊跳轉(zhuǎn)上層調(diào)用位置。
? 信號(hào)追蹤:
? 驅(qū)動(dòng)信號(hào):雙擊信號(hào) → 按`N/P`查看前/后驅(qū)動(dòng)位置。
? 被驅(qū)動(dòng)信號(hào):選中信號(hào) → 點(diǎn)擊 ![驅(qū)動(dòng)圖標(biāo)] → `N/P`切換。
? 字符串查找:快捷鍵 `/` 或文本搜索。
Part.05、nSchema原理圖分析
1. 操作技巧
? 跳轉(zhuǎn)源代碼:雙擊原理圖符號(hào)。
? 顯示信號(hào)名:通過(guò)菜單顯示RTL級(jí)端口/模塊名。
? Fan-In Cone追蹤:選中信號(hào) → 點(diǎn)擊 ![Fan-In圖標(biāo)] 查看驅(qū)動(dòng)邏輯。
? 部分層次原理圖:多選信號(hào) → 生成關(guān)聯(lián)邏輯視圖。
? 元件移動(dòng):左鍵選中 → 右鍵拖拽。
Part.06、nState狀態(tài)機(jī)調(diào)試
1. 狀態(tài)機(jī)視圖
? 打開方法:雙擊狀態(tài)機(jī)模塊 → 自動(dòng)生成狀態(tài)轉(zhuǎn)移圖。
? 狀態(tài)轉(zhuǎn)移條件:點(diǎn)擊轉(zhuǎn)移箭頭查看觸發(fā)條件(需導(dǎo)入波形)。
? 執(zhí)行次數(shù)統(tǒng)計(jì):需配合測(cè)試用例,分析覆蓋率。
? 關(guān)聯(lián)源代碼:中鍵拖拽狀態(tài)到nTrace窗口。
Part.07、nWave波形分析
1. 波形操作
? 添加信號(hào):快捷鍵 `G` 或右鍵菜單。
? 信號(hào)查找:`Get Signal` 或從nTrace拖入。
? 信號(hào)分組:
? 重命名組:右鍵編輯
? 調(diào)整順序:中鍵拖拽
? 顯示優(yōu)化:
? 顏色修改:`Tools → Preferences → Waveform → View Options` → 啟用顏色后按 `C`。
? 進(jìn)制轉(zhuǎn)換:右鍵信號(hào) → 選擇二進(jìn)制/十六進(jìn)制/狀態(tài)名。
2. 高級(jí)功能
? 邏輯操作生成新信號(hào):`Tools → Signal Calculator`。
? 波形對(duì)比:導(dǎo)入兩個(gè)`.fsdb`文件 → 差異分析。