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

4. 给仿真工具加载xilinx 库命令

(1)加载之前将modelsim.ini改为非“只读”

(2)“运行” cmd，到xilinx目录下

(3) C:\Xilinx >  compxlib  -s  mti_se  -p c:\Modeltech_6.0\win32  -f  all  -l  veri