01562cam a2200445La 4500 103571 20230411085609.0 m u cr cn||||||||| 040607s2005 maua o 001 0 eng d (OCoLC)ocn647497873 E7B eng E7B OCLCQ 0750677309 (OCoLC)647497873 GRAL TK 7874 A567c 2005 005.1 Andrews, Jason R. Co-verification of hardware and software for ARM SoC design / by Jason R. Andrews. Burlington, MA : Elsevier Newnes, c2005. 1 online resource (xxiii, 260 p.) : ill. Embedded technology series Includes index. Description based on print version record. Integrated circuits Verification. Computer software Verification. Systems on a chip. Integrated circuito Verificación Aplicaciones Informáticas Verificación. Sistema en un chip Primera Jornada de Catalogacion Electronic books. Print version: Andrews, Jason R. Co-verification of hardware and software for ARM SoC design. Burlington, MA : Elsevier Newnes, c2005 (DLC) 2004053860 Embedded technology series. ebrary http://site.ebrary.com/id/10128060 ebrary EBRY ebr10128060 lcc bk C0 DRFGD JPR 104400 104400 0 0 lcc 0 0 CT BJB BJB HU 2023-04-11 0 TK 7874 A567c 2005 00000092736 2019-01-21 00:00:00 1 2019-01-21 bk