SV
---------------------------------------------------------
ncsim実行後に次を行う
imc -batch
imc>> merge /covlscope/*.cov -out all
imc>> load -run all
imc>> report -html -metrics all -out coverage
imc>> exit
あるいは
imc -exec <command-file> -64bit
---------------------------------------------------------
# compile
ncvlog -64 -sv -f $(LIST)
-procsva
-svseed {n|random} // specify random seed
-nostdout
# elab
ncelab -64 <top> -access wrc
#-access <+/-rwc> turn on read,wrie,connectivity access
-coverage all -covdut <top>
ここで<top>はモジュール名 インスタンス名ではない
ncsim [option] snapshot_name
ncelab [option] [Lib.]Cell[:View]
======================
ncsim assertion
log *E,ASRTST で検索
# run
irun -64 -input irun.tcl <top>
-f <file_of_args>
-incdir <dir>
-v <libfile> -y <libdir> -libext <extention>
-top <top>
-l <logfile>
-coverage <string>
-assert
---------------------------------------------------------
irun.tcl
database -open waves -into ./out -default -event
probe -create -shm <top> -all -depth all -mem -functions -tasks
run
exit
---------------------------------------------------------
irun -helphelp
irun -helpsubject ncvlog
---------------------------------------------------------
simvision -waves <database>
simvision
simvision -waves <database>
パルスを数える
信号をhighlightし、メニューから Explore->CountEdge
in Verilog
$shm_open("dump.shm");
$shm_probe(top_inst, "AS");
SHM(Simulation History Manager)
$shm_probe(path1, path2)
(node1, specifier1, ...)
specifier:
A メモリ除くすべて
C Lib含むすべての下位階層
S Lib除くすべての下位階層
M メモリ含む
T Task含む
F Function含む
(class は含められないみたい)
-
--------------------------------------------------------
IEV : Incisive Enterprise Verifier
---------------------------------------------------------
---------------------------------------------------------
VIP
SOMA file: configuration file
.denalirc
$DENALI
---------------------------------------------------------
ncprotect -OUTDIR dir -OUTNAME $opt <file> -NOSTDOUT -USEKEY CDS_NC -LOGFILE <logfile>
setenv DENALIRC ./.denalirc.sata
#pre-run cleanup
if ( -e ./INCA_libs) then
rm -rf INCA_libs
endif
set NCVLOG_USER_OPT="-64BIT"
set NCELAB_USER_OPT="-64BIT"
set NC_LOGNAME_OPT="-LOGFILE compile.log"
set NC_APPENDLOG_OPT="-APPEND_LOG"
set TOP_MODULE_NAME="TOP"
ncvlog ${NCVLOG_USER_OPT} \
${NC_LOGNAME_OPT} \
${sim_opt} \
$define \
-mess -sv -f filelist
#Elaborate
ncelab -64BIT ${NC_LOGNAME_OPT} ${NC_APPENDLOG_OPT} -access +rwc -mess worklib.${TOP_MODULE_NAME}
#Create Report
ncbrowse -64BIT -REPORT compile_report.txt -SORTBY FILE compile.log
echo "----------------------------------------------------------------"
grep "*E," compile.log
echo "See compile.log"
echo ""
IMC Incisive Metrics Center
COM: Consant Object Making
ICC: Cadence Incisive Comprehensive Coverage
icc Incisive Coverage
I
-