Co-verification of Hardware and Software for ARM SoC Design
 |
|
Описание:
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
Похожие книги
 | Bayesian Inference: with ecological applications Автор: William A Link, Richard J Barker Год: 2009 |
 | A Physical Introduction to Fluid Mechanics Автор: Alexander J. Smits Год: 2000 |
| Modern NMR Spectroscopy: A Workbook of Chemical Problems Автор: Sanders J.K.M., Constable E.C., Hunter B.K. Год: 1989 |
| Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications Автор: Bolch G., Greiner S., Trivedi K. S. Год: 2006 |
| Counterexamples in Topology Автор: Seebach J.A., Steen L.A. Год: 1970 |
| FPGA Prototyping by Verilog Examples Автор: Chu P. P. Год: 2008 |