System Verilog for Verification, 2nd Edition.pdf

System Verilog for Verification, 2nd Edition.pdf

ID:34749723

大小:2.49 MB

页数:455页

时间:2019-03-10

System Verilog for Verification, 2nd Edition.pdf_第1页
System Verilog for Verification, 2nd Edition.pdf_第2页
System Verilog for Verification, 2nd Edition.pdf_第3页
System Verilog for Verification, 2nd Edition.pdf_第4页
System Verilog for Verification, 2nd Edition.pdf_第5页
资源描述:

《System Verilog for Verification, 2nd Edition.pdf》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、SystemVerilogforVerificationAGuidetoLearningtheTestbenchLanguageFeaturesSecondEditionChrisSpearSystemVerilogforVerificationAGuidetoLearningtheTestbenchLanguageFeaturesSecondEditionChrisSpearSynopsys,Inc.Marlboro,MAUSALibraryofCongressControlNumber:2008920031ISBN978-0-387-

2、76529-7e-ISBN978-0-387-76530-3Printedonacid-freepaper.©2008SpringerScience+BusinessMedia,LLCAllrightsreserved.Thisworkmaynotbetranslatedorcopiedinwholeorinpartwithoutthewrittenpermissionofthepublisher(SpringerScience+BusinessMedia,LLC,233SpringStreet,NewYork,NY10013,USA),

3、exceptforbriefexcerptsinconnectionwithreviewsorscholarlyanalysis.Useinconnectionwithanyformofinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorheareafterdevelopedisforbidden.Theuseinthispublicationoftradenames

4、,trademarks,servicemarksandsimilarterms,eveniftheyarenotidentifiedassuch,isnottobetakenasanexpressionofopinionastowhetherornottheyaresubjecttoproprietaryrights.Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofgoingtopress,neithertheauthorsnor

5、theeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsoromissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothematerialcontainedherein.987654321springer.comThisbookisdedicatedtomywonderfulwifeLaura,whosepatienceduringthisprojectw

6、asinvaluable,andmychildren,AllieandTyler,whokeptmelaughing.ContentsListofExamplesxiiiListofFiguresxxvListofTablesxxviiPrefacexxixAcknowledgmentsxxxv1.VERIFICATIONGUIDELINES11.1TheVerificationProcess21.2TheVerificationMethodologyManual41.3BasicTestbenchFunctionality51.4Dir

7、ectedTesting51.5MethodologyBasics71.6Constrained-RandomStimulus81.7WhatShouldYouRandomize?101.8FunctionalCoverage131.9TestbenchComponents141.10LayeredTestbench151.11BuildingaLayeredTestbench211.12SimulationEnvironmentPhases221.13MaximumCodeReuse231.14TestbenchPerformance2

8、31.15Conclusion242.DATATYPES252.1Built-InDataTypes252.2Fixed-SizeArrays282.3DynamicArrays342.4Qu

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

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

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