MicroController Pros Home Page My Account  Cart Contents  Checkout  
  Store » Books » All Books » ELV9780750677301 My Account  |  Cart Contents  |  Checkout   
Vacation Notice: We are on vacation November 11th - 19th 2017. Any orders placed during that time frame will ship on November 20th.
Quick Find
 
Enter keywords to find the product you are looking for in the Quick Find field above

or use
Advanced Search
Categories
Accessory Boards->
8051->
ADI Blackfin
Arduino->
ARM->
Atmel AVR->
Cypress PSoC
Freescale->
FTDI->
Locktronics
Microchip PIC->
MIPS
Parallax->
Renesas
Silicon Labs
ST Microelectronics->
Texas Instruments->
Tibbo->
Books->
  All Books
  Beginners
  8051
  80x86
  Arduino
  ARM
  Atmel AVR
  Freescale
  Microchip PIC
  Microsoft
  MIPS
  TI MSP430
  Analog Design
  Artificial Intelligence
  CAN
  Chip Design
  Chip Test & Verification
  Digital Electronics
  Digital Signal Processing
  Ecosystems
  Electronics
  Embedded Internet
  Embedded O/S
  Embedded Systems
  EMC
  Fiber Optics
  FPGA
  Math
  Mechanical Engineering
  Microscopy
  Nano Technology
  Networking
  Organic Materials
  Parallel Port
  Programming Languages->
  Robotics
  Security
  Software Development
  Storage - Memory
  UART
  USB
  Video-Graphics
  Wireless
Displays->
E-Blocks->
EEPROM/EPROM/FLASH
Embedded Ethernet->
Embedded Software->
I/O Modules->
Parts & Components->
Pick & Place Tools
Programmable Logic (PLD)
Prototype PCBs->
Robotics
ROM/Flash Emulators
Test & Measurement->
Tutorial Software
Universal Programmers->
Wireless->
Information
Intro to Embedded Tools
Embedded News Digest
Useful Resources
Shipping & Returns
Warranty & Liability
Privacy Notice
Conditions of Use
Contact Us
Co-verification of Hardware and Software for ARM SoC Design US$72.95

ELV9780750677301
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. Author Jason 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

Book Details

  • Paperback: 288 pages
  • Author: Jason Andrews
  • Publisher: Newnes; Pap/Cdr edition (August 16, 2004)
  • Language: English
  • Dimensions: 9.1 x 7.5 x 0.9 inches
  • Shipping Weight: 1.4 pounds

Table of Contents

1. Embedded System Verification
2. Hardware and Software Design Process
  • System initialization software and hardware abstraction layer (HAL)
  • Hardware diagnostic test suite; Real-time operating system (RTOS)
  • RTOS device drivers
  • Application software
  • C simulation
  • Logic simulation
  • Simulation acceleration
  • Emulation
  • Prototype
3. SoC Verification Topics for the ARM Architecture
4. Hardware/Software Co-Verification:
  • Host-code execution -- implicit access
  • ISS + BIM
  • CCM
  • RTL
  • Hardware model
  • Emulation board
  • FPGA Prototype
5. Advanced Hardware/Software Co-Verification:
  • Direct access to simulation memories without advancing simulation time
  • Memory and time optimizations -- understanding synchronization
  • Cross network connections versus using a single workstation
  • C modeling for some of the hardware
  • Implicit Access
  • Post-processing techniques for software debugging
  • Synchronized software and hardware views for debugging
  • Post-processing software trace
  • Save/restore
  • How to deal with peripherals
  • How to deal with an RTOS
6. Hardware Verification Environment and Co-Verification:
  • Testbench
  • The use of testbench tools
  • Random test generation based on CPU address map
  • CPU bus protocol checking
  • Functional/ Transaction coverage
  • Memory coverage
  • Property checking -- did a specific scenario ever happen?
  • Use of a design signoff model
7. Methodology for an Example ARM SoC.


This product was added to our catalog on Thursday 24 January, 2008.

Reviews

Shopping Cart more
0 items
What's New? more
Electricity, Magnetism and Materials Solution Educational Kit
Electricity, Magnetism and Materials Solution Educational Kit
US$363.00
Specials more
GSM/GPRS Module for Arduino
GSM/GPRS Module for Arduino
US$667.00
US$89.00
Tell A Friend
 

Tell someone you know about this product.
Notifications more
NotificationsNotify me of updates to Co-verification of Hardware and Software for ARM SoC Design
Reviews more
Write ReviewWrite a review on this product!
  Saturday 18 November, 2017   List of all our Products

Copyright © 2003-2017 MicroController Pros LLC
Powered by osCommerce