modelsim中代码覆盖率使用详解

1、一、代码覆盖率Modelsim代码覆盖率功能Codecoverage能报告出statement语句） 、branch（分支）、condition（条件）、expression（表达）、toggle（信号翻转）、fsm（有限状态机）等多种覆盖率情况。1、编译选项（compileoption）：在Modelsim的Workspace里选中需要查看代码覆盖率的文件，然后点击右键选择compilecompileproperties;,如下图,Work3Ma：一日日5Name0test._drink_jiiachine.7?iidiine_inquart&r_Tn=Cend之后选择“Covera

2、ge选项，出现下图所示的窗口，根据需要选择选项，这里选statementbranch、conditionexpression和toggle。选完点ok。hldrinkEditExecuteCompileAddtoProjectRemovefromProjectCloseProjectUpdateProperties.,ProjectSettings.CompileSelected；CompileAllCompileOut-of-DateCompileOrder.CompileReport-Compile5Jinmary.CompileProperties,.Statin2moduletest_

3、drink_me4wirecollect,disper5regalk?rst_nnichN/honie/eda3037rriodelsir2、编译（compile）点工具栏中的附，编译所有的选中的文件，成功后进行下面的步3、仿真(simulate)StartSimulaliionDeigin|VHDLVerilog|Libraries|SDF-|OthersTypePath（注：不要选择“Enableoptimization）选择Others,出现如下图所示的窗口:点工具栏中的出现下面的窗口:Name-，X杓也Library11dr1nk_K*ach1neModule1testtdr1nk_m

4、ach1neMciulevital2000LibraryieeeLibrarymadl写1n)_l1bLibrarystdLibrarystd.develoeerskitLibrarywork/homeZeda3O3/models1m/dr1nk_macii1./lwme/da.3O3/models1m/t!est.Mf11E*日nwR4t/*ws/eda3D3AjdBlsifi/t-E5t-dr1nh_jw*iine,vline筝工后】内B:dtitihrwHmi：I.Sfins-OCHKQilrxrtffstjirrti-EEhrHAFiNfnfllJg4、观察结果完成以上操作后，代码覆盖

5、率的窗口就出现了,之后代码覆盖率的情况就出现在各窗口中下面介绍各子窗口:ileEMilWitnvFqriTuUCompilt;芋|山14已包dcJQj.GiL?：*：，|图西 a/MkS|M谤3=*.。而由而&FullpathT/p白Sium匚4IElitwt-r1nk_rwKh,，,|目di-l!+._nazh1isz.，*!=.，史.h,r.ID*ISWindowJjelp*理:1J-iiftffnun工丁Tl-i.hi:作Y?曾分DeISilS亡;IPrfrJ&ci|面Libi占|力simFll&a|曜Memo*Missedwci吧&,ftlisSMiSR

6、itemcnlH-u-clak_PMfaIm.v才西?inECowt+-比InTEaticeyittT_di-1r+._rw*dAXtfft-drir*_WKiL门rUE-LM0TOi;4-La*d.La*Ln.I3T4T*-FffE：匕TEqv与rt-rn卜ala.l-,ntCPTT;4nd.TEH：/inLflnL-=A.LLn|STJTt-FEfTEEM!eLviTCdine.LntC-TVEHTT；LnLfiqunzjLnJbeginLa.l-EEGX;dl匹*i5*Tbl!，LL+rt-lbl:wuL14FETTFW：ginLf(nLcA.LLn.|3T4Tt-fWfMC-l!eLv

7、iTdine_Lnt(run-all)源代码痴口|TsmTsmL LZ34.Z34.5 5%-Tfi-%-Tfi-y y口L L: :M M，. . TK;n_tlTK;n_tl.号号T_.1T_.17777_.h_.h7 7T_.1T_.17 7T T-X-3Ki-X-3Ki99fl-M-99fl-M-s-s-TV1J1T1:FlQ：!7.1噌或J3imkm；KhimewI1时riflkEiKhiiriU,(1)Workspace窗口在workspace窗口选择Files标签页并拖动滚动条到右侧，设计的每个文件显示了语句、分支、条件和表达式等语句的执行覆盖率汇总统以设计中的每一条目来显示执行

8、覆盖统计(2)MissedCoverage(未覆盖到对象列表窗)窗口本窗口用于显示所选择文件未被执行的语句、分支、条件、表达式或未翻转过的信号。在workspace窗口的Files标签页中选择不同的文件,Coverage窗口的显示会随着选择的文件而更新MissedCoverageMCovudin1MissedBranches二jdrink_maohin-vjXFisif(quartar_inJ1XT90elseif(quarter_in)!-XrW3elseifquarter_in)沁120$1&if(quarterin)StatementBranchConditionLxpressi

9、onroggleMissed计信息。在workspace窗口选择Files标签页并拖动滚动条到右侧，本窗口将上图为分支覆盖率的情况上图为statementcoverage（语句覆盖率）的情况。此时选择任何一个实体在源代码窗口中显示相应的行，设计如果包含为被执行的语句或分支的行，则被粉红色高亮显示，如下图。图中包含了Hits和BC栏用来显示语句执行（statementHitS）和分支覆盖（BC）的情况。5/home/eda303/modelsim/drinkinachine.v*国coveragenumber.tgtgzzzzzzzzzzzzzzXXXXXXXXexex一.H H/xr，/xr二

10、m m4545i-Ji-J8 8o o1 1M M3434r-r-6 67 78 89 9D D1201204 45 5BBQsBR-B66QJ_94-9Q.-9999ooon-oc8 ：endendFTFTEEN:beginifnlckelin)state-if(dim?写elseif(quaibeginstate*dXco：endsndTWQTT;begilnif(nLckin)statelseif(dlmstateCodeCoverageShow回u.dRiiknidcTme.vdriukonacliinu.vf-Hits和BC栏中的每一行图标将会被数字代替，这些数字代表了该语句或分支被

11、执行的次数。F表描述了个图标的含义:图标描述0表示本语句已被执行过冈表示本行的某语句从未被执行过区或国表示条件语句的“真”或“假”分支未被执行过回表不本行被指7K不做代码覆盖统计操作完后，在CurrentExclusion窗口就会出现被排除的文件,同时源代码窗口的Hits栏的一些行会出现回，表明这些行不做代码覆盖统计Details=+#却itlie/eda303/modclsim/testdrink.machine.v+司HitsBCLnII3939o o1 1AMAM56567 7S S9 9i i2 23535. .11111111111111222222_222222_.31waystS

12、Uelk-clk;initialbeginclk-O;rtn-lJbl;16ffrst_filJbD;acisFilersmujJtt_tW*1d二口剂前110wLls-t僧己麻jinalysisAllWindowsptmtHitsSimr%StiIIIts:现闾惊FFle?tioei-!*di303/ncd*!hormatCompileSirmiulaleaddlookWindow西RhIMIFx 给”“DalKEts,rrCotigCoverageErflifileActiveprocessL2Z二1H归d知Touqlct密口IMFull%5、创建代码覆盖率报告如下图所示，在主窗口菜单栏选

13、择ToolCodeCoverage-ReportsMissed专pnessiJ5taEEme*rpmwFn-p隼nnnTgTr;F在该窗口中可以查看状态翻转统计，翻转覆盖统计了信号从一个状态变换到另一个状态的次数。具体操作入下图所示:转的具体情况NameValueKindMode-RdeinkEiicfrdingPirojeclSetEing.,上述操作完之后出现Objects窗口，这样就可以查看每个信号翻电通军电SnWin掌SoureeMemoryConCrills*WorksiteShowTab5TabbedMOIJI/证号JdrInk一Id/wst_drIr+jachirw川*Cover

14、agein&ranceStALI圮三点,leniicia5MddelSimSEPLUS6.1cQlMecdObjttl：&Uebugwin-d&w-s=百词NetInwrn*lNetInternalNetInTOrrmiNetInternalPackedrrayInwrrtaiPackedArrayInternalPickedArrayIiKTerrtalPxkitdArrflymtcFgl中配k.edarrayZrtwrrtal1W4lOffl1004即1ODS1QC94 九 $ 揖33.Ill生tsn3S.31注m3mss.sn珏由m包*collKt*dispens

15、e-4n1cke1_ot*dirae_aut*clIk*r?t_n*nlckel.in*din+quarter.ln出现下图所示的子窗口（报告设置窗口），根据需求设置各选项和报告存放路径。点ok后即可查看CodeCoverageReport二DO文件DO文件是一种脚本文件，可以一次执行多条命令1、创建简单的DO文件一般仿真：#compilethefiles(vlog:forverilog,vcom:forVHDL)vlogdrink_machine.vtest_drink_machine.v# Loadsimulationvsimwork.test_drink_machine# vsim-no

16、voptwork.test_drink_machine#-novopt:dontselectEnableoptimmization.#addwaveaddwave-coloryellowsim:/test_drink_machine/clkaddwavesim:/test_drink_machine/rst_naddwave-radixbinarysim:/test_drink_machine/nickel_inaddwave-formatLiteralsim:/test_drink_machine/dime_inaddwavesim:/test_drink_machine/quarter_i

17、naddwavesim:/test_drink_machine/collectaddwavesim:/test_drink_machine/dispenseaddwavesim:/test_drink_machine/nickel_outaddwavesim:/test_drink_machine/dime_out# -color:setthewavescolor# -format:setthewavesformat,ithasthreeoption:# Logic,LiteralandEvent,ifyouhavenot# setit,theformatisLogic.# -radix:se

18、tthesignalsradixnotation.ffffffffffffffffffffffffffffffffffffffffffffffffffffffff7Tffffffffffffffffffffffffffffffffffffffffffffffffffffffiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii# Runsimulationrun-all代码覆盖率仿真：vlog-coversbcetdrink_machine.vtest_drink_machine.vvsim-coveragework.test_drink_machine# coverageexclude-add/home/eda303/modelsim/test_drink_machine.vall# coverageexclude-remove/home/eda303/modelsim/test_drink_machine.vall# coverageexclude-add/home/eda303/modelsim/drink_machine.v105# coverageexclude-remove/home/ed