資源描述：
《SystemVerilog for Verification(2nd).pdf》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、SystemVerilogforVerificationAGuidetoLearningtheTestbenchLanguageFeaturesSecondEditionChrisSpearSystemVerilogforVerificationAGuidetoLearningtheTestbenchLanguageFeaturesSecondEditionChrisSpearSynopsys,Inc.Marlboro,MAUSALibraryofCongressControlNumber:200
2、8920031ISBN978-0-387-76529-7e-ISBN978-0-387-76530-3Printedonacid-freepaper.?2008SpringerScience+BusinessMedia,LLCAllrightsreserved.Thisworkmaynotbetranslatedorcopiedinwholeorinpartwithoutthewrittenpermissionofthepublisher(SpringerScience+BusinessMedia
3、,LLC,233SpringStreet,NewYork,NY10013,USA),exceptforbriefexcerptsinconnectionwithreviewsorscholarlyanalysis.Useinconnectionwithanyformofinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhea
4、reafterdevelopedisforbidden.Theuseinthispublicationoftradenames,trademarks,servicemarksandsimilarterms,eveniftheyarenotidentifiedassuch,isnottobetakenasanexpressionofopinionastowhetherornottheyaresubjecttoproprietaryrights.Whiletheadviceandinformation
5、inthisbookarebelievedtobetrueandaccurateatthedateofgoingtopress,neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsoromissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothematerialconta
6、inedherein.987654321springer.comThisbookisdedicatedtomywonderfulwifeLaura,whosepatienceduringthisprojectwasinvaluable,andmychildren,AllieandTyler,whokeptmelaughing.ContentsListofExamplesxiiiListofFiguresxxvListofTablesxxviiPrefacexxixAcknowledgmentsxx
7、xv1.VERIFICATIONGUIDELINES11.1TheVerificationProcess21.2TheVerificationMethodologyManual41.3BasicTestbenchFunctionality51.4DirectedTesting51.5MethodologyBasics71.6Constrained-RandomStimulus81.7WhatShouldYouRandomize?101.8FunctionalCoverage131.9Testben
8、chComponents141.10LayeredTestbench151.11BuildingaLayeredTestbench211.12SimulationEnvironmentPhases221.13MaximumCodeReuse231.14TestbenchPerformance231.15Conclusion242.DATATYPES252.1Built-InDataTypes252.2Fixed-SizeArrays282.3DynamicArrays342.4Qu
