专用集成电路设计方法讲义3_逻辑验证ppt课件.ppt

《专用集成电路设计方法讲义3_逻辑验证ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、专用集成电路设计方法第3部分逻辑验证(LogicalVerification)2008-10-171OutlineWhatIsVerification?VerificationToolsVerificationStrategies&EnvironmentStimulusandResponseArchitectingTestbench2VerificationKeyQuestions:IswhatIspecifiedwhatIwanted?DesignValidationIswhatIimplementedwhatIspecified?Implemen

2、tationValidation3MajorVerificationTasks4VerificationAprocessusedtodemonstratethefunctionalcorrectnessofdesign.Verificationconsumesabout:70%ofthedesigneffort80%ofthetotalcodevolumeVerificationengineerstwiceasRTLdesignersThemethodologiestoreducetheverificationtimeParallelismAbstr

3、actionAutomation5ReconvergenceModelAconceptualrepresentationoftheverificationprocess6TheHumanFactorThesameindividualDifferentindividuals7Testingvs.Verification(1)TestingVerifythatthedesignwasmanufacturedcorrectlyVerificationEnsurethatadesignmeetsitsfunctionalintent8Testingvs.Ve

4、rification(2)DesignforTest-scan-basedtestingAllregistersarehooked-upinalongserialchain.DesignforverificationAdditiondesignefforttosimplifyverificationProvidingadditionalsoftware-accessibleregisterstocontrolandobserveinternallocationsProvidingprogrammablemultiplexerstoisolateorb

5、ypassfunctionalunits9FormalVerification-EquivalenceCheckingComparetwomodelsProvetheoriginandoutputarelogicallyequivalentandthetransformationpreserveditsfunctionality10FormalVerification-ModelCheckingLookforgenericproblemsorviolationofuser-definedrulesaboutthebehaviororthedesign

6、11FunctionalVerificationEnsurethatadesignimplementsintendedfunctionalityShowthatadesignmeetstheintentofitsspecification,butitcannotproveit12FunctionalVerificationApproachesBlack-boxWithoutanyknowledgeoftheactualimplementationofadesignWhite-boxHasfullvisibilityandcontrollability

7、oftheinternalstructureandimplementationofthedesignbeingverifiedGrey-boxControlsandobservesadesignentirelythroughitstop-levelinterfaces13WhatisaTestbench?Createapre-determinedinputsequencetoadesign,thenoptionallyobservetheresponse.14TestbenchGenerationGeneratetestbenchestoeither

8、increasecodecoverageortoexercisethedesigntoviolateapro