Springer.Verification.Methodology.Manual.for.SystemVerilog.Bergeron.Cerny.Hunter.Nightingale;.Springer;.2005

《Springer.Verification.Methodology.Manual.for.SystemVerilog.Bergeron.Cerny.Hunter.Nightingale;.Springer;.2005》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、VerificationMethodologyManualforSystemVerilogNotfor(re)distributionNotfor(re)distributionVerificationMethodologyManualforSystemVerilogbyJanickBergeronEduardCernyAlanHunterAndrewNightingaleNotfor(re)distributionJanickBergeron,Synopsys,Inc.EduardCerny,Synopsys,Inc.AndrewNightingale,ARM,Ltd.Al

2、anHunter,ARM,Ltd.VerificationMethodologyManualforSystemVerilog/byJanickBergeron...[etal.].p.cm.Includesbibliographicalreferencesandindex.ISBN-13:978-0-387-25538-5(alk.paper)ISBN-10:0387-25538-9(alk.paper)ISBN-10:0387-25556-7(e-book)1.Verilog(Computerhardwaredescriptionlanguage)2.Integratedc

3、ircuits--Verification.I.Bergeron,JanickTK7885.7V442005621.39’2--dc222005051724Cover:DiephotographoftheARM926EJ-STMPrimeXsysTMPlatformDevelopmentChip2005ARMLtd.ARMisaregisterdtrademarkandARM926EJ-SandPrimeXsysaretrademarksofARMLimited."ARM"isusedtorepresentARMHoldingsplc;itsoperatingcom-pan

4、yARMLimited;andtheregionalsubsiderariesARMINC.;ARMKK;ARMKoreaLtd.;ARMTaiwan;ARMFranceSAS;ARMConstulting(Shanghai)Co.Ltd.;ARMBelgiumN.V.;AXYSDesignAutomationInc.;AXYSGmbH;ARMEmbed-dedTechnologiesPvt.Ltd.;andARMPhysicalIP,Inc.2006Synopsys,Inc.andARMLimitedAllrightsreserved.Thisworkmaynotbetr

5、anslatedorcopiedinwholeorinpartwithoutthewrittenpermissionofthepublisher(SpringerScience+BusinessMedia,Inc.,233SpringStreet,NewYork,NY10013,USA),exceptforbriefexcerptsincon-nectionwithreviewsorscholarlyanalysis.ThisPDFdocumentislicensedandnotsold.YourlicensetousethisPDFdocumentshallbestrict

6、lysubjecttotheprovisionsgoverningDocumentationinyourenduserlicenseagreementwithSynopsys.Theuseinthispublicationoftradenames,trademarks,servicemarksandsimilarterms,evenifthearenotidentifiedassuch,isnottobetakenasanexpressionofopinionastowhetherornottheyaresubjecttoproprietaryrights.Printedin

7、theUnitedStatesofAmerica.987654321SPIN11055174springeronline.comNotfor(re)distributionFOREWORDWhenIco-authoredtheoriginaleditionoftheReuseMethodologyManualforSys-tem-on-ChipDesigns(RMM)nearlyadecadeago,designerswerefacingacrisis.Shrinkingsilicongeometryh