vlog test.sv
vsim test -solvefaildebug=2 -sv_seed random -bacth -do ucil.do
其中:
vlog – compile
test.sv – test file
vsim – simulation
test – test module name
-solvefaildebug=2 – show detail information for constraint fail
-sv_seed random – seed 随机. 如要指定seed xxx, format: -sv_seed xxx
-bacth – 不开GUI;-c 也能实现相同的功能
-do ucil.do – 需要提前准备可执行ucil.do 文档,用于start simulation
>>cat ucli.do
run -all