-ssi,打开interactive mode aasertEval,可以通过指定design和FSDB文件,在batch mode下计算assert assertEval -sv dut.sv +define+sva -ssf dut.fsdb,默认设置下计算assert,保存结果到默认的文件中。 ./assertEvalLog/evaluate_result.fsdb
"./list.f" # Code Coverage CM = -cm line+cond+tgl+fsm+branch+assert CM_DIR = -cm_dir cvrg # Makefile body .PHONY: env vcs simv verdi urg clean cleanall sim env : @echo "Design Name: $(DESIGN_NAME)" @echo "Log File : $(LOG_VCS)" @echo "Log File : $(LOG_SIMV)"...
14begin 15assertfalsereport"ERROR : foreign subprogram not called"severitynote; 16end; 17 18procedurefsdbDumpvars(depth :ininteger; 19region_name :instring)is 20begin 21assertfalsereport"ERROR : foreign subprogram not called"severitynote; 22end; ...
We read every piece of feedback, and take your input very seriously. Include my email address so I can be contacted Cancel Submit feedback Saved searches Use saved searches to filter your results more quickly Cancel Create saved search Sign in Sign up Reseting focus {...
-ssi,打开interactive mode aasertEval,可以通过指定design和FSDB文件,在batch mode下计算assert assertEval -sv dut.sv +define+sva -ssf dut.fsdb,默认设置下计算assert,保存结果到默认的文件中。 ./assertEvalLog/evaluate_result.fsdb