资源描述：
《System Verilog for Verification， 2nd Edition (1).pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、SystemVerilogforVerificationAGuidetoLearningtheTestbenchLanguageFeaturesSecondEditionChrisSpearSystemVerilogforVerificationAGuidetoLearningtheTestbenchLanguageFeaturesSecondEditionChrisSpearSynopsys,Inc.Marlboro,MAUSALibraryofCongressControlNumber:2008920031ISBN978
2、-0-387-76529-7e-ISBN978-0-387-76530-3Printedonacid-freepaper.©2008SpringerScience+BusinessMedia,LLCAllrightsreserved.Thisworkmaynotbetranslatedorcopiedinwholeorinpartwithoutthewrittenpermissionofthepublisher(SpringerScience+BusinessMedia,LLC,233SpringStreet,NewYork
3、,NY10013,USA),exceptforbriefexcerptsinconnectionwithreviewsorscholarlyanalysis.Useinconnectionwithanyformofinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorheareafterdevelopedisforbidden.Theuseinthispu
4、blicationoftradenames,trademarks,servicemarksandsimilarterms,eveniftheyarenotidentifiedassuch,isnottobetakenasanexpressionofopinionastowhetherornottheyaresubjecttoproprietaryrights.Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofgoing
5、topress,neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsoromissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothematerialcontainedherein.987654321springer.comThisbookisdedicatedtomywonderfulwifeLa
6、ura,whosepatienceduringthisprojectwasinvaluable,andmychildren,AllieandTyler,whokeptmelaughing.ContentsListofExamplesxiiiListofFiguresxxvListofTablesxxviiPrefacexxixAcknowledgmentsxxxv1.VERIFICATIONGUIDELINES11.1TheVerificationProcess21.2TheVerificationMethodologyMa
7、nual41.3BasicTestbenchFunctionality51.4DirectedTesting51.5MethodologyBasics71.6Constrained-RandomStimulus81.7WhatShouldYouRandomize?101.8FunctionalCoverage131.9TestbenchComponents141.10LayeredTestbench151.11BuildingaLayeredTestbench211.12SimulationEnvironmentPhases
8、221.13MaximumCodeReuse231.14TestbenchPerformance231.15Conclusion242.DATATYPES252.1Built-InDataTypes252.2Fixed-SizeArrays282.3DynamicArrays342.4Qu
