返回
(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf

(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf

ID：34746484

大小：5.69 MB

页数：377页

时间：2019-03-10

(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf_第1页
(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf_第2页
(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf_第3页
(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf_第4页
(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf_第5页
资源描述：

《(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、WRITINGTESTBENCHESFunctionalVerificationofHDLModelsThisPageIntentionallyLeftBlankWRITINGTESTBENCHESFunctionalVerificationofHDLModelsJanickBergeronQualisDesignCorporationKLUWERACADEMICPUBLISHERSNEWYORK,BOSTON,DORDRECHT,LONDON,MOSCOWeBookISBN:0-306-47687-8PrintISBN:0-7923-7766-4©2002KluwerAca

2、demicPublishersNewYork,Boston,Dordrecht,London,MoscowPrint©2000KluwerAcademicPublishersDordrechtAllrightsreservedNopartofthiseBookmaybereproducedortransmittedinanyformorbyanymeans,electronic,mechanical,recording,orotherwise,withoutwrittenconsentfromthePublisherCreatedintheUnitedStatesofAmer

3、icaVisitKluwerOnlineat:http://kluweronline.comandKluwer'seBookstoreat:http://ebooks.kluweronline.comTABLEOFCONTENTSAbouttheCoverxiiiForewordxvPrefacexviiWhyThisBookIsImportantxviiWhatThisBookIsAboutxviiiWhatPriorKnowledgeYouShouldHavexixReadingPathsxxVHDLversusVerilogxxForMoreInformationxxi

4、iAcknowledgementsxxiiCHAPTER1WhatisVerification?1WhatisaTestbench?1TheImportanceofVerification2ReconvergenceModel4TheHumanFactor5Automation6Poka-Yoka6WritingTestbenches:FunctionalVerificationofHDLModelsvTableofContentRedundancy6WhatIsBeingVerified?7FormalVerification7EquivalenceChecking8Mod

5、elChecking9FunctionalVerification10TestbenchGeneration11FunctionalVerificationApproaches11Black-BoxVerification12White-BoxVerification13Grey-BoxVerification13TestingVersusVerification13Scan-BasedTesting14DesignforVerification16VerificationandDesignReuse16ReuseIsAboutTrust16VerificationforRe

6、use17TheCostofVerification17Summary19CHAPTER2VerificationTools21LintingTools22TheLimitationsofLintingTools23LintingVerilogSourceCode25LintingVHDLSourceCode26CodeReviews28Simulators28StimulusandResponse29Event-DrivenSimulation29Cycle-BasedSimulation31Co-Simulators34Third-PartyModels36Hardwar

7、eModelers37WaveformViewers38CodeCoverage40StatementCoverage42PathCoverage44ExpressionCoverage45viWritingTestbenches:FunctionalVerificationofHDLModelsWhatDoes100PercentCoverageMean?45VerificationLanguages46RevisionControl47TheSoftwareEngineeringExperience

当前文档最多预览五页，下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页，下载文档查看全文
温馨提示：
1. 部分包含数学公式或PPT动画的文件，查看预览时可能会显示错乱或异常，文件下载后无此问题，请放心下载。
2. 本文档由用户上传，版权归属用户，天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容，确认文档内容符合您的需求后进行下载，若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误，付费完成后未能成功下载的用户请联系客服处理。