verdi启动选项
- 通过filelist启动
verdi -sv -f all.f -top soc_top &
- 通过daidir启动
在进行vcs仿真时加入kdb选项后,vcs仿真会生成verdi的库文件,通常库文件为sim.daidir,库文件里面包含相应代码信息;利用库文件verdi可以快速加载rtl代码而不需要重新编译。
verdi -dbdir simv.daidir/ &
- 通过lib启动
verdi -lib simv.lib/ &
- 通过fsdb/zwd启动
verdi -ssf filename.fsdb &
verdi -ssf filename.zwd &
- 通过restore文件启动
verdi -sswr fliename.rc &
- 启动coverage report
verdi -cov -covdir sim.vdb/ &
verdi命令选项
verdi辅助功能
介绍一些Verdi比较好用的功能
nTrace
- File
- Import Path Data Files
导入PT生成的datapath report .rpt - Import Analysis Results
导入HDL分析结果 .log
- Import Path Data Files
- view
- Identify False Logic
开启这个选项,可以在看代码的时候,过滤错误的条件分支
- Identify False Logic
- Tools
- Temparol flow view
用diagram视图trace信号 - Trace X
寻找X态产生的来源 - Behavior Analysis
该功能未研究 - Extract Interactive FSM
提取代码中的状态机 - Browser/Watch/List
Browser可以查看设计中的Interface、Cell;查看SDF?;Watch查看信号值以及表达式;list X?
- Temparol flow view
nSchema
nWave
- File
- save signal
保存抓取的波形
- save signal
wvSaveSignal -win $_nWave2 "/remote/homes/zzhou/verdi/sme_sys_lowpower_x_state.rc"
- Waveform
- classic transaction
Keep Marker at Transaction End Time
该选项使得 Cursor(黄色)和 Marker(白色)能够分开,有时候这两个标莫名会并在一起。
- classic transaction