modelsim使用命令

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   // 查错