Springer.SystemVerilog_for_Verification_(Springer.2006)

Springer.SystemVerilog_for_Verification_(Springer.2006)

ID:34905886

大小:1.41 MB

页数:326页

时间:2019-03-13

Springer.SystemVerilog_for_Verification_(Springer.2006)_第1页
Springer.SystemVerilog_for_Verification_(Springer.2006)_第2页
Springer.SystemVerilog_for_Verification_(Springer.2006)_第3页
Springer.SystemVerilog_for_Verification_(Springer.2006)_第4页
Springer.SystemVerilog_for_Verification_(Springer.2006)_第5页
资源描述:

《Springer.SystemVerilog_for_Verification_(Springer.2006)》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、SYSTEMVERILOGFORVERIFICATIONAGuidetoLearningtheTestbenchLanguageFeaturesSYSTEMVERILOGFORVERIFICATIONAGuidetoLearningtheTestbenchLanguageFeaturesCHRISSPEARSynopsys,Inc.13ChrisSpearSynopsys,Inc.377SimaranoDriveMarlboro,MA01752SystemVerilogforVerification:AGui

2、detoLearningtheTestbenchLanguageFeaturesLibraryofCongressControlNumber:2006926262ISBN-10:0-387-27036-1e-ISBN-10:0-387-27038-8ISBN-13:9780387270364e-ISBN-13:9780387270388Printedonacid-freepaper.¬2006SpringerScience+BusinessMedia,LLCAllrightsreserved.Thiswork

3、maynotbetranslatedorcopiedinwholeorinpartwithoutthewrittenpermissionofthepublisher(SpringerScience+BusinessMedia,LLC,233SpringStreet,NewYork,NY10013,USA),exceptforbriefexcerptsinconnectionwithreviewsorscholarlyanalysis.Useinconnectionwithanyformofinformatio

4、nstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhereafterdevelopedisforbidden.Theuseinthispublicationoftradenames,trademarks,servicemarksandsimilarterms,eveniftheyarenotidentifiedassuch,isnottobetakenas

5、anexpressionofopinionastowhetherornottheyaresubjecttoproprietaryrights.PrintedintheUnitedStatesofAmerica.987654321springer.comThisbookisdedicatedtomywonderfulwifeLaura,whosepatienceduringthisprojectwasinvaluable,andmychildren,AllieandTyler,whokeptmelaughing

6、.ContentsListofExamplesxiListofFiguresxxiListofTablesxxiiiForewordxxvPrefacexxviiAcknowledgmentsxxxiii1.VERIFICATIONGUIDELINES11.1Introduction11.2TheVerificationProcess21.3TheVerificationPlan41.4TheVerificationMethodologyManual41.5BasicTestbenchFunctionalit

7、y51.6DirectedTesting51.7MethodologyBasics71.8Constrained-RandomStimulus81.9WhatShouldYouRandomize?101.10FunctionalCoverage131.11TestbenchComponents151.12LayeredTestbench161.13BuildingaLayeredTestbench221.14SimulationEnvironmentPhases231.15MaximumCodeReuse24

8、1.16TestbenchPerformance241.17Conclusion252.DATATYPES272.1Introduction272.2Built-inDataTypes27viiiSystemVerilogforVerification2.3Fixed-SizeArrays292.4DynamicArrays342.5Queues362.6AssociativeArrays372.7

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

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

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