1/12
文档分类:资格/认证考试

ICS 216Embedded Systems Validation and Test.ppt


下载后只包含 1 个 PPT 格式的文档,里面的视频和音频不保证可以播放,查看文件列表

特别说明:文档预览什么样,下载就是什么样。

0/100
您的浏览器不支持进度条
下载所得到的文件列表
ICS 216Embedded Systems Validation and Test.ppt
文档介绍:
ICS216 EmbeddedSystemsValidationandTestInstructor:ProfessorIanG.puterScienceUniversityofCaliforniaIrvineReadingMaterialNosinglebook.SomeVerilogbookisuseful(someareonreserveatthelibrary)SelectedpapersUsefulbook-WritingTestbenchesFunctionalVerificationofHDLModels,JanickBergeron,SecondEditionUsefulbook-IntroductiontoFormalHardwareVerification,ThomasKropfCourseStructureThreeproblemsets:twoonsimulation-basedvalidationandoneonformalverificationFinalProject-individualorpairs -FinalProjectProposal-~2pages -FinalProjectProposalPresentation-20min. -pletedescription+anycodeEmbeddedSystems“Acomputerthatdoesn’putationshiddenbehindasimpleinterfaceEx.Cellphone,digitalcamera,automobile,etc.DesignrequirementsarevariedPower,performance,cost,life-ponentsarevariedDigital/analoghardwareSystems/applicationsoftwareMechanicalsensors/actuatorsValidationisabottleneckinthedesignprocessHighcostofdesigndebug(designers,time-to-market)Highcostoffaultydesigns(lossoflife,productrecall)HardwareandsoftwareareoftenusedtogetherHardwareandsoftwarearedesignedseparatelyCovalidationisperformedlateintheprocess,necessitatinglongredesignloopsHardware/SoftwarecovalidationproblemismoreacuteImportanceofEmbeddedSystemValidationValidationandTestValidation/VerificationEnsuringthatthedesignmatchesthedesigner’sintent/identallymadebythedesigner(s)Usuallyincludesthedebuggingtaskaswell(Manufacturing)TestDetectionofphysicaldefectsintheimplementationDefectsappearasaresultofmanufacturingorofwearmechanismsTeststheimplementation,notthedesignValidationvs.VerificationFormalverification-Useofproof-basedtechniquesModelchecking,plexityishighConfidenceishighforspecifiedpropertiesSimulationbasedvalidation-UseofsimulationFull-chip/full-designvalidationConfidenceisnotwellquantifiedPentium4bugsfoundbyFV(492)vs.Validation(5809)[1][1]B.Bentley,“ValidatingtheIntelPentium4Microprocessor,”DAC’01.EmbeddedSystemDesignFlowIntentNat.Lang.Spec.Exec.BehaviorHWStructuralHWBehavioralSWProceduralMachineCodeCOTSHW/SWHWDesignSWDesignPre-DesignedFabri 内容来自淘豆网www.taodocs.com转载请标明出处.