资源描述:
《Newnes - Co-verification Of__ Hardware and Software for ARM SoC Design (2005) DDU LotB.pdf》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、Co-VerificationofHardwareandSoftwareforARMSoCDesignThispageintentionallyleftblankCo-VerificationofHardwareandSoftwareforARMSoCDesignbyJasonR.AndrewsAMSTERDAM•BOSTON•HEIDELBERG•LONDONNEWYORK•OXFORD•PARIS•SANDIEGOSANFRANCISCO•SINGAPORE•SYDNEY•TOKYONewnesisanimprintofElsevierN
2、ewnesisanimprintofElsevier200WheelerRoad,Burlington,MA01803,USALinacreHouse,JordanHill,OxfordOX28DP,UKCopyright©2005,ElsevierInc.Allrightsreserved.Nopartofthispublicationmaybereproduced,storedinaretrievalsystem,ortransmittedinanyformorbyanymeans,electronic,mechanical,phot
3、ocopying,recording,orotherwise,withoutthepriorwrittenpermissionofthepublisher.PermissionsmaybesoughtdirectlyfromElsevier’sScience&TechnologyRightsDe-partmentinOxford,UK:phone:(+44)1865843830,fax:(+44)1865853333,e-mail:permissions@elsevier.com.uk.Youmayalsocompleteyourrequ
4、eston-lineviatheElsevierhomepage(http://elsevier.com),byselecting“CustomerSupport”andthen“ObtainingPer-missions.”Recognizingtheimportanceofpreservingwhathasbeenwritten,Elsevierprintsitsbooksonacid-freepaperwheneverpossible.LibraryofCongressCataloging-in-PublicationDataAnd
5、rews,JasonR.Co-verificationofhardwareandsoftwareforARMSoCdesign/JasonR.Andrewsp.cm.ISBN0-7506-7730-91.Integratedcircuits--Vertification.2.Computersoftware--Verification.3.Systemsonachip.I.Title.TK7874.A5952004005.1'4--dc222004053860BritishLibraryCataloguing-in-PublicationDat
6、aAcataloguerecordforthisbookisavailablefromtheBritishLibrary.ForinformationonallNewnespublicationsvisitourwebsiteatwww.newnespress.com04050607080910987654321PrintedintheUnitedStatesofAmerica.ContentsForeword.................................................................
7、.....................xiiiPreface..........................................................................................xvWhyIsThisBookImportant?..............................................................................xvAudience.....................................
8、........................................................................xviPrerequisiteKnowledge