1. 常用仿真命令
vlib work // 建立work仿真库
vmap work wrok // 映射库
vlog -cover bcest *.v // 加覆盖率分析的编译
vsim -coverage -voptargs="+acc" -t ns test // 仿真文件为test.v
add wave * // 将所有模块waveform. dump出来
add wavesim:/test/t/M2/Reg_out // 将模块Reg_out中的waveform. dump出来
delete wave /test/i
2. SVA 断言仿真命令
vlog -sv a.v
vsim -assertdebug test
view assertions
vsim -assertdebug ScaleBlock_tf -L xilinxcorelib_ver -L unisims_ver // 加载xilinxlib库
3. verror 3601 // 查错