Cargando…
Co-verification of hardware and software for ARM SoC design /
Faster time to market, increased confidence in designs, and higher productivity through shorter testing times can be achieved via co-verification- this book shows you how!
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Burlington, MA :
Elsevier Newnes,
©2005.
|
| Colección: | Embedded technology series.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a22000004a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm56731936 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 041014s2005 maua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d NLGGC |d E7B |d OCLCQ |d MERUC |d ZCU |d EBLCP |d UKDOC |d IDEBK |d DEBSZ |d OCLCQ |d AGLDB |d PIFBR |d UAB |d OCLCQ |d WY@ |d LUE |d STF |d D6H |d VTS |d HQD |d OCLCQ |d TOF |d OCLCQ |d COO |d G3B |d REC |d LEAUB |d S9I |d OCLCO |d OCLCQ |d IOY |d OCLCQ |d OCLCO | ||
| 019 | |a 171114190 |a 221271117 |a 437144730 |a 507007772 |a 647497873 |a 814451333 |a 823106856 |a 823827073 |a 823896480 |a 824088638 |a 824135025 |a 856949622 |a 991904722 |a 1035655546 |a 1043504529 | ||
| 020 | |a 141754435X |q (electronic bk.) | ||
| 020 | |a 9781417544356 |q (electronic bk.) | ||
| 020 | |a 0750677309 | ||
| 020 | |a 9780750677301 | ||
| 020 | |a 9780080476902 |q (electronic bk.) | ||
| 020 | |a 0080476902 |q (electronic bk.) | ||
| 020 | |a 1281009725 | ||
| 020 | |a 9781281009722 | ||
| 029 | 1 | |a AU@ |b 000051553963 | |
| 029 | 1 | |a AU@ |b 000051859820 | |
| 029 | 1 | |a AU@ |b 000054157280 | |
| 029 | 1 | |a DEBBG |b BV043094288 | |
| 029 | 1 | |a DEBSZ |b 422370932 | |
| 029 | 1 | |a DEBSZ |b 430286708 | |
| 029 | 1 | |a DEBSZ |b 449068269 | |
| 029 | 1 | |a GBVCP |b 801202515 | |
| 029 | 1 | |a NLGGC |b 269039090 | |
| 035 | |a (OCoLC)56731936 |z (OCoLC)171114190 |z (OCoLC)221271117 |z (OCoLC)437144730 |z (OCoLC)507007772 |z (OCoLC)647497873 |z (OCoLC)814451333 |z (OCoLC)823106856 |z (OCoLC)823827073 |z (OCoLC)823896480 |z (OCoLC)824088638 |z (OCoLC)824135025 |z (OCoLC)856949622 |z (OCoLC)991904722 |z (OCoLC)1035655546 |z (OCoLC)1043504529 | ||
| 037 | |b 00991439 | ||
| 050 | 4 | |a TK7874 |b .A595 2005eb | |
| 072 | 7 | |a COM |x 051330 |2 bisacsh | |
| 072 | 7 | |a UA |2 bicssc | |
| 082 | 0 | 4 | |a 005.1/4 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Andrews, Jason R. | |
| 245 | 1 | 0 | |a Co-verification of hardware and software for ARM SoC design / |c by Jason R. Andrews. |
| 260 | |a Burlington, MA : |b Elsevier Newnes, |c ©2005. | ||
| 300 | |a 1 online resource (xxiii, 260 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Embedded technology series | |
| 500 | |a Includes index. | ||
| 588 | 0 | |a Print version record. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Preliminaries; Contents; Foreword; Preface; Acknowledgments; Chapter 1: Embedded System Verification: An Introduction; Chapter 2: Hardware and Software Design Process; Chapter 3 SoC Verification Topics for the ARM Architecture; Chapter 4 Hardware Software Co Verification; Chapter 5 Advanced Hardware Software Co Verification; Chapter 6 Hardware Verification Environment and Co Verification; Chapter 7: Methodology for an Example ARM SoC; Afterward; Index. | |
| 520 | |a Faster time to market, increased confidence in designs, and higher productivity through shorter testing times can be achieved via co-verification- this book shows you how! | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Integrated circuits |x Verification. | |
| 650 | 0 | |a Computer software |x Verification. | |
| 650 | 0 | |a Systems on a chip. | |
| 650 | 6 | |a Circuits intégrés |x Vérification. | |
| 650 | 6 | |a Logiciels |x Vérification. | |
| 650 | 6 | |a Systèmes sur une puce. | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Quality Assurance & Testing. |2 bisacsh | |
| 650 | 7 | |a Computer software |x Verification |2 fast | |
| 650 | 7 | |a Integrated circuits |x Verification |2 fast | |
| 650 | 7 | |a Systems on a chip |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Andrews, Jason R. |t Co-verification of hardware and software for ARM SoC design. |d Burlington, MA : Elsevier Newnes, ©2005 |z 0750677309 |w (DLC) 2004053860 |w (OCoLC)55671903 |
| 830 | 0 | |a Embedded technology series. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=117129 |z Texto completo |
| 938 | |a 123Library |b 123L |n 33975 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL226742 | ||
| 938 | |a ebrary |b EBRY |n ebr10128060 | ||
| 938 | |a EBSCOhost |b EBSC |n 117129 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 100972 | ||
| 938 | |a YBP Library Services |b YANK |n 2586039 | ||
| 938 | |a YBP Library Services |b YANK |n 2351861 | ||
| 994 | |a 92 |b IZTAP | ||