vlog test.sv
vsim test -solvefaildebug=2 -sv_seed random -bacth -do ucil.do
among them:
vlog – compile
test.sv – test file
vsim – simulation
test – test module name
-solvefaildebug=2 – show detail information for constraint fail
-sv_seed random - seed To specify the random seed xxx, format: -sv_seed xxx.
-bacth - do not open the GUI; -c can achieve the same functionality
-do ucil.do - need to be prepared in advance executable ucil.do document for start simulation
>>cat ucli.do
run -all