VCS-Appendix-CoverMeter

9-1SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryAgenda:Day2DAY2TopicLabUnitDebuggingSimulationMismatches5UsingPLIRoutineswithVCS6FastRTLLevelVerification7FastGateLevelVerification8Appendix:VCS/VCM99-2SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryCoverMeterHigherVerificationQuality„Assesscompletenessoftesting:zKnowwhatdidnotgetsimulated„FullfeaturedCodeCoverage:zPowerfulfeaturesandflexibilityzUserExpression&TestGradingzPowerfulMatrixviewGUI„VCSIntegerationforlowestoverheadandeaseofuseAnalyzeMonitorCoverMeterCoverMeterInstrumentAnalyzeDebugDoneYet?DevelopTestCasesSimulateNOYES9-3SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryUnitObjectivesAftercompletingthisunit,youshouldbeableto:„FeatureyourdesigncoverageusingCoverMeterinVCSzWhatiscoverage:‹Line‹Conditon‹Toggle‹FSMzExecutionCoverMeterwithVCSzExaminingreportinGUIortextmode.9-4SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryDirectoryofCoverMeterReport„Contentsofsimv.cmzDirectories:‹db–VCMinfoandworkingfiles‹coverage–Intermediatedatefiles‹reports–ASCIIreportsandannotateddesignfilessimv.cmdbcoveragereports9-5SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryThetyepofCoverage:Linealways@(CurrentTestorTestEnorHWRITEin)begincase(CurrentTest)`ST_INACTIVE:if(TestEn)--NextTest=`ST_CTRL_IN;MISSING_ELSE`ST_CTRL_IN:--if(TestEn)--if(HWRITEin)--NextTest=`ST_DATA_IN;else--NextTest=`ST_DATA_OUT;else--NextTest=`ST_CTRL_IN;……….default:NextTest=`ST_INACTIVE;endcaseendmoduleWrap(HCLK,HRESETn,…….,)inputHCLK;inputHRESETn;……….wire[31:0]TestData;wire[31:0]HrdataMux;regTestMode;reg[27:0]TestCtrl;……….always@(TestEnorCurrentTest)beginif((CurrentTest==`ST_CTRL_IN)&&TestEn)--TestClkNext=1'b1;elseTestClkNext=1'b0;end……….assignHrdataMux=(TestStat==1'b1?TestData:DOUT);……….9-6SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryThetyepofCoverage:Line(Cont’d)EXAMPLEMODULEtop.uAPBifFILEAPBif.vLineNoCoverageBlockType1541ALWAYS1631IF1641165.11MISSING_ELSE.............425-42614691IF469.11MISSING_ELSE//---------------------------------------//ModuleCoverageSummaryTOTALCOVEREDPERCENTlines898191.01statements888090.91blocks686291.18ALWAYS1111100.00CASEITEM131292.31IF242083.33ELSE201995.00MISSING_ELSE44100.00„InlinecoverageVCSmonitorfollowing:zIndividualstatementszStatementblockszStatementblocktypezMissing(implied)conditionalstatementszBranchesforconditionalstatements9-7SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryThetyepofCoverage:Condition„ConditionsaresubexpressionsofcondtionalstatementsEXAMPLE//-----------------------------------------------------------------MODULEtop.uAPBifFILEAPBif.v------------------------------------------------------------------LINE139STATEMENTValid=(((HSELAPBif==1'b1))&&((HREADYin==1'b1))&&(((HTRANS-----------------------------------------------1-----------==2'b10))||((HTRANS==2'b11))))?1'b1:1'b0------------------------------------EXPRESSION-1-0|Covered1|Covered.........LINE139STATEMENTValid=(((HSELAPBif==1'b1))&&((HREADYin==1'b1))&&(((HTRANS--------==2'b10))||((HTRANS==2'b11))))?1'b1:1'b0-1------------------2---------EXPRESSION-1--2-01|CoveredSamelineno9-8SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryThetyepofCoverage:Toggle„Togglecoveragemonitorseachnetandregisterforanyvaluetransitionfrom0to1and1to0EXAMPLE//-----------------------------------------------------------------MODULEArbiter//NetCoverage//NameToggled1-00-1HCLKYesHBURST[0]YesHBURST[2:1]NoNoNoHREADYYesHmasterPrevDec[1:0]YesHmasterPrevDec[15:2]NoNoNo..............//RegisterCoverage//NameToggled1-00-1iHMASTER[0]YesiHMASTER[3:1]NoNoNoHmasterPrev[0]YesHlockIntNoNoNoTestModeNoYesNoAbortIntNoNoNo9-9SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryThetyepofCoverage:Toggle(cont’d)//-------------------------------------------------------------------//ModuleCoverageSummary//TOTALCOVEREDPERCENTregs16212.50regbits4249.52regbits(0-1)4249.52regbits(1-0)4249.52nets42921.43netbits1451812.41netbits(0-1)1451812.41netbits(1-0)1451812.419-10SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryThetyepofCoverage:FSMEXAMPLEalways@(inorstate)begincase(state)S0:case(1'b1)(in==8'd0):next_state=S0;(8'd0in&&in8'd4):next_state=S1;(8'd3in&&in8'd32):next_state=S2;(8'd31in&&in8'd64):next_state=S3;(in8'd63):next_state=S4;endcaseS1:if(in[0]&&in[1])next_state=S0;elsenext_state=S3;S2:next_state=S3;S3:next_state=S5;S4:if(in[0]||in[2]||in[4])next_state=S5;elsenext_state=S6;S5:if(in[0]==1'b0)next_state=S5;elsenext_state=S3;.......................endcaseendalways@(posedgeclkornegedgerst)beginif(!rst)state=#1S0;elsestate=#1next_state;end„AFSMinhardwareissomesequentiallogicthatoutputsacurrentstateandcombinationallogicthatoutputsthenextstate9-11SynopsysProfessionalServicesHTCWorkshop.Confidential©2002SynopsysProprietaryThetyepofCoverage:FSMReportRep