Co-verification of hardware and software for ARM SoC design / by Jason R. Andrews.
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!
Saved in:
| Online Access: |
Full Text (via EBSCO) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Burlington, MA :
Elsevier Newnes,
©2005.
|
| Series: | Embedded technology series.
|
| Subjects: |
MARC
| LEADER | 00000cam a22000004a 4500 | ||
|---|---|---|---|
| 001 | b9765779 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 041014s2005 maua ob 001 0 eng d | ||
| 005 | 20240521141407.7 | ||
| 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 | ||
| 035 | |a (OCoLC)ebs56731936 | ||
| 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 | |a ebs117129 | ||
| 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 | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a TK7874 |b .A595 2005eb | |
| 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. | ||
| 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! | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Integrated circuits |x Verification. | |
| 650 | 0 | |a Computer software |x Verification. | |
| 650 | 0 | |a Systems on a chip. | |
| 650 | 7 | |a Computer software |x Verification. |2 fast |0 (OCoLC)fst00872604. | |
| 650 | 7 | |a Integrated circuits |x Verification. |2 fast |0 (OCoLC)fst00975600. | |
| 650 | 7 | |a Systems on a chip. |2 fast |0 (OCoLC)fst01141473. | |
| 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://colorado.idm.oclc.org/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&site=ehost-live&AN=117129 |z Full Text (via EBSCO) |
| 907 | |a .b97657797 |b 06-01-23 |c 10-21-17 | ||
| 915 | |a 4 | ||
| 956 | |b All EBSCO eBooks | ||
| 956 | |a EBSCO ebook collection | ||
| 998 | |a web |b - - |c f |d b |e - |f eng |g mau |h 0 |i 1 | ||
| 999 | f | f | |i 6ee3c9c0-3842-5b51-b033-98cae5885299 |s 6995bb39-9457-52d0-820d-ed05f18f162d |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e TK7874 .A595 2005eb |h Library of Congress classification |i web |n 1 |