文档介绍：CoVerifcationoFHardwareand
SoftwarefprARMSoCDesign
bbJasonRAndrews
AMSTERDAMeBoSIONsHBIDELBERGsLONpoN
薰NEWYORK+ONFORD。PANS+SANDIEGo
SANFRANGSCOJSNGApORE。SyDNEYiokyo
ELSEVIERMNewesisanimpmtoreeeerNewnes
NewesisonimpomcefEleser
200WheclerRelRuinsenMAalseUsA
UnsesHosejeninHiLOxeodCX2SDRUK
Copriht6200iEteicrincAlndhemened
Noirofthsputiconmarlespodscellinaneienlopenortemelin
anpomorhponymenselecnoncoeionclroocpinoscodntorobevte
wiboochemorwtenremisionoientitter
JomsionmanleouhtdieelyfonEkevavStencescndlogrRehepe
IermsomeleveccomalcWoomayaloconglsynurmgteconnesedeEleur
homerveeiopJkeviereomJbyelesineCouomerSronrindienOhainmt
Jsons
ReoeniingticinponcsofeemintsiochslesnwenEleserptnsietodeon
wcdeefoeersteneerostie
LinnrafCongresConlognpinpallicnDa
AndessJeong
CovsenicndonoflonsasandofosprARMSCdeienjJonRAniew
an
ISBNDIspeI7io9
LneniedosueVenfcuon2CompuerofwoeVeafcton3Spemsona
pLTe
TKfAip砺国
05I4d222
BdihLtanrCoolopincinpatlictenDaes
AcolopeeconlforihsokisowaltefometnthLton
RninometononallNewentticstom
corvetieotwwsloseveccon
84667t888957654321
PinisiintieUnieiSeteefAnemea
Contents
Foreword..
Preface.
WhykThisBookImporana
Audience
PrerequisiteKnowledge
AboutHardwareJSoftwareCoVeriication
Acknowledgments..、
AbouttheAuthor..
AboutVerisity.、
WhatsontheCDROM2eeeeeeeeceo
Chapter1EmbeddedSystemVerificationAnIntroduction
WharsanEmbeddedSpetem
EmbeddedSyetemsAreEverywhere
ConsumerElectronics.
Wineles
Medica
Nerworking
x
x
x
E
RealTimeResponse
Comtents
Perormance、
SystemS
Retiabilio、
TimetoMarket.
EmbeddedSystemsDecomposttion.
MicroprocesorsChipsandBoards
EmbeddedSystemClasiications
LitdeorNoCustomHardwareDesig
ALorofCustomHarjwareSoBDesign
ALorofCustomHarlwareSoCDesign
EnmibeddedSystemDesignProc
Requirements
SystemArchitecnun
MicroprocesorSclection、
HariwareDesign
SofrwareDesien
HandwareandSoftwareIntegration
VerifcationandValidation
VenfcationDoesirWork.
ValidationDidWeBuildtheRightThingz
HumanInteraction.
WhacisthisBookAbou
ScopeandOudline、
Chapt