 |
|
| CO-VERIFICATION OF HARDWARE AND SOFTWARE FOR ARM SOC DESIGN
| |
| | |
|
|
To order this title, and for more information, click here
By
Jason Andrews, Embedded Engineer, Verisity, CA, USA
Description
Hardware/software co-verification is how to make sure that embedded system software works correctly with the hardware, and that the hardware
has been properly designed to run the software successfully -before large sums are spent on prototypes or manufacturing.
This is the
first book to apply this verification technique to the rapidly growing field of embedded systems-on-a-chip(SoC). As traditional embedded
system design evolves into single-chip design, embedded engineers must be armed with the necessary information to make educated decisions
about which tools and methodology to deploy. SoC verification requires a mix of expertise from the disciplines of microprocessor and
computer architecture, logic design and simulation, and C and Assembly language embedded software. Until now, the relevant information
on how it all fits together has not been available. Andrews, a recognized expert, provides in-depth information about how co-verification
really works, how to be successful using it, and pitfalls to avoid. He illustrates these concepts using concrete examples with the ARM
core - a technology that has the dominant market share in embedded system product design. The companion CD-ROM contains all source code
used in the design examples, a searchable e-book version, and useful design tools.
Audience
Embedded systems engineers and programmers, verification engineers, engineering production managers.
Electrical/software engineering
students, electronics
technicians working in embedded systems, inhouse training departments of electronics
manufacturers.
Contents
Foreward
Preface
Acknowledgments
About the Author
About Verisity
What's on the CD-ROM?
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
| Bibliographic details |
Paperback, 288 pages, publication date: AUG-2004
ISBN-13: 978-0-7506-7730-1
ISBN-10: 0-7506-7730-9
Imprint: NEWNES
|
| Price and Ordering |
Price:
EUR 59.95
USD 72.95
GBP 51
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
032/320
Last update: 30 Nov 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company