资源描述：
《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
