Co-Verification of Hardware and Software for ARM SoC Design 

Table of Contents

An introduction to embedded systems and classification of the types of designs that can benefit from early verification of hardware and software.

Information about the separate yet related hardware and software design processes. It documents the tools and techniques commonly used in each discipline. The boundaries where hardware meets software and the relationships at these boundaries are described. The view of the world for both the hardware engineer and the software engineer is presented.

Chapter 3: SoC Verification Topics for the ARM Architecture

An overview and some detailed information about the ARM architecture used throughout the book. For engineers involved in ARM projects it provides both a tutorial on the architecture and bus protocols as well as details about important areas related to co-verification.

Chapter 4: HW/SW Co-Verification

The foundation for HW/SW co-verification including the definitions, techniques, benefits, and examples.

Chapter 5: Advanced HW/SW Co-Verification

Advanced topics on HW/SW co-verification that most engineers don’t typically learn except from on-the-job training while trying to use co-verification on an embedded system project.

Chapter 6: Hardware Verification Environment and Co-Verification

Explains the relationship between co-verification and the hardware verification environment. Traditional hardware verification techniques and how they relate to the microprocessor potion of the design are covered.

Chapter 7:  Methodology for an Example ARM SoC

Puts all of the previous information into practice and presents methodology for SoC verification using the techniques covered in the early chapters on a real ARM SoC design example.

Steve's free web templates