Co-verification of Hardware and Software for ARM SoC Design

✍ Scribed by Jason Andrews

• Publisher: Newnes
• Year: 2004
• Tongue: English
• Leaves: 285
• Series: Embedded Technology
• Category: Library

✦ Synopsis

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. * The only book on verification for systems-on-a-chip (SoC) on the market * Will save engineers and their companies time and money by showing them how to speed up the testing process, while still avoiding costly mistakes * Design examples use the ARM core, the dominant technology in SoC, and all the source code is included on the accompanying CD-Rom, so engineers can easily use it in their own designs

✦ Table of Contents

Co-Verification of Hardware & Software for ARM SoC Design......Page 1
Copyright......Page 5
Contents......Page 6
Foreword......Page 14
Preface......Page 16
Acknowledgments......Page 18
About the Author......Page 20
About Verisity......Page 22
What’s on the CD-ROM?......Page 24
Ch1 Embedded System Verification: Introduction......Page 26
Ch2 Hardware & Software Design Process......Page 50
Ch3 SoC Verification Topics for ARM Architecture......Page 94
Ch4 Hardware/Software Co-Verification......Page 144
Ch5 Advanced Hardware/Software Co-Verification......Page 190
Ch6 Hardware Verification Environment & Co-Verification......Page 222
Ch7 Methodology for an Example ARM SoC......Page 254
Afterward......Page 278
Index......Page 280