资源描述：
《coverification of hardware & software for arm soc design外语英文电子书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、Co-VerificationofHardwareandSoftwareforARMSoCDesignThispageintentionallyleftblankCo-VerificationofHardwareandSoftwareforARMSoCDesignbyJasonR.AndrewsAMSTERDAM•BOSTON•HEIDELBERG•LONDONNEWYORK•OXFORD•PARIS•SANDIEGOSANFRANCISCO•SINGAPORE•SYDNEY•TOKYONewnesisanimprintofElsevierNewnesisanimprintofElsevi
2、er200WheelerRoad,Burlington,MA01803,USALinacreHouse,JordanHill,OxfordOX28DP,UKCopyright©2005,ElsevierInc.Allrightsreserved.Nopartofthispublicationmaybereproduced,storedinaretrievalsystem,ortransmittedinanyformorbyanymeans,electronic,mechanical,photocopying,recording,orotherwise,withoutthepriorwr
3、ittenpermissionofthepublisher.PermissionsmaybesoughtdirectlyfromElsevier’sScience&TechnologyRightsDe-partmentinOxford,UK:phone:(+44)1865843830,fax:(+44)1865853333,e-mail:permissions@elsevier.com.uk.Youmayalsocompleteyourrequeston-lineviatheElsevierhomepage(http://elsevier.com),byselecting“Custom
4、erSupport”andthen“ObtainingPer-missions.”Recognizingtheimportanceofpreservingwhathasbeenwritten,Elsevierprintsitsbooksonacid-freepaperwheneverpossible.LibraryofCongressCataloging-in-PublicationDataAndrews,JasonR.Co-verificationofhardwareandsoftwareforARMSoCdesign/JasonR.Andrewsp.cm.ISBN0-7506-773
5、0-91.Integratedcircuits--Vertification.2.Computersoftware--Verification.3.Systemsonachip.I.Title.TK7874.A5952004005.1'4--dc222004053860BritishLibraryCataloguing-in-PublicationDataAcataloguerecordforthisbookisavailablefromtheBritishLibrary.ForinformationonallNewnespublicationsvisitourwebsiteatwww.n
6、ewnespress.com04050607080910987654321PrintedintheUnitedStatesofAmerica.ContentsForeword......................................................................................xiiiPreface..........................................................................................xvWhyIsThisBookImporta
7、nt?..............................................................................xvAudience.............................................................................................................xviPrerequisiteKnowledge
