资源描述：
《高级验证方法学（中文版）（by mentor）.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、高级验证方法学－AVMMarkGlasser,EditorAdamRoseTomFitzpatrickDaveRichHarryFosterLicensedundertheApacheLicense,Version2.0(the"License");youmaynotusethisfileexceptincompliancewiththeLicense.YoumayobtainacopyoftheLicenseat:http://www.apache.org/licenses/LICENSE-2.0Unlessrequi
2、redbyapplicablelaworagreedtoinwriting,softwaredistributedundertheLicenseisdistributedonan"ASIS"BASIS,WITHOUTWARRANTIESORCONDITIONSOFANYKIND,eitherexpressorimplied.SeetheLicenseforthespecificlanguagegoverningpermissionsandlimitationsundertheLicense.Thisdocumentisf
3、orinformationandinstructionpurposes.MentorGraphicsreservestherighttomakechangesinspecificationsandotherinformationcontainedinthispublicationwithoutpriornotice,andthereadershould,inallcases,consultMentorGraphicstodeterminewhetheranychangeshavebeenmade.Contractor/m
4、anufactureris:MentorGraphicsCorporation8005S.W.BoeckmanRoad,Wilsonville,Oregon97070-7777.Telephone:503.685.7000Toll-FreeTelephone:800.592.2210Website:www.mentor.comSupportNet:www.mentor.com/supportnetContactYourTechnicalWriter:www.mentor.com/supportnet/documentat
5、ion/reply_form.cfmTRADEMARKS:Thetrademarks,logosandservicemarks("Marks")usedhereinarethepropertyofMentorGraphicsCorporationorotherthirdparties.NooneispermittedtousetheseMarkswithoutthepriorwrittenconsentofMentorGraphicsortherespectivethird-partyowner.Theuseherein
6、ofathirdpartyMarkisnotanattempttoindicateMentorGraphicsasasourceofaproduct,butisintendedtoindicateaproductfrom,orassociatedwith,aparticularthirdparty.AcurrentlistofMentorGraphics’trademarksmaybeviewedat:www.mentor.com/terms_conditions/trademarks.cfm.2高级验证方法学2006-
7、12-1ApacheLicenseVersion2.0,January2004http://www.apache.org/licenses/TERMSANDCONDITIONSFORUSE,REPRODUCTION,ANDDISTRIBUTION1.Definitions."License"shallmeanthetermsandconditionsforuse,reproduction,anddistributionasdefinedbySections1through9ofthisdocument."Licensor
8、"shallmeanthecopyrightownerorentityauthorizedbythecopyrightownerthatisgrantingtheLicense."LegalEntity"shallmeantheunionoftheactingentityandallotherentitiesthat
