Co-verification of Hardware and Software for ARM SoC Design


  • Jason Andrews, Embedded Engineer, Verisity, CA, USA

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.
View full description


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.


Book information

  • Published: August 2004
  • Imprint: NEWNES
  • ISBN: 978-0-7506-7730-1


"Jason Andrews is one of the acknowledged world's experts in hardware/software verification. His unique knowledge, spanning both hardware design and software development, has enabled him to come up with breakthrough design tools and methodologies solving many of today's most pressing verification challenges. This is one of the most important books to come on the scene in the last ten years." Gary Smith, Chief Analyst, Design & Engineering, Gartner Dataquest

Table of Contents

ForewardPrefaceAcknowledgmentsAbout the AuthorAbout VerisityWhat’s on the CD-ROM?Chapter 1: Embedded System Verification: An IntroductionChapter 2: Hardware and Software Design ProcessChapter 3: SoC Verification Topics for the ARM ArchitectureChapter 4: Hardware/Software Co-VerificationChapter 5: Advanced Hardware/Software Co-VerificationChapter 6: Hardware Verification Environment and Co-VerificationChapter 7: Methodology for an Example ARM Soc AfterwardIndex