000 00560pam a2200193a 44500
008 160408b2005 xxu||||| |||| 00| 0 eng d
020 _a0750677309
082 _a005.14
_bAN26C
100 _aAndrews,Jason R.
245 1 _aCO-VERIFICATION OF HARDWARE AND SOFTWARE FOR ARM SOC DESIGN
260 _a
_bElsevier, Amsterdam
_c2005
300 _axxiii,260
500 _aWith Cd-Rom
650 _aIntegrated Circuits -- Verification
650 _aComputer Software -- Verification
650 _aSystems On A Chip
964 _gCIRC
997 _aA149764 C
999 _c350358
_d350358