|
|
libcats.org
Co-verification of Hardware and Software for ARM SoC DesignJason AndrewsHardware/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
Скачать книгу бесплатно (pdf, 3.46 Mb)
Читать «Co-verification of Hardware and Software for ARM SoC Design» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Лица мучениковАвтор: Герберт Брайан, Автор: Андерсон Кевин Дж.Категория: Научная Фантастика
Размер книги: 66 Kb
Microsoft Windows SharePoint Services 3.0. Русская версия. Главы 1-8Автор: Лондер Ольга, Автор: Инглиш Билл, Автор: Бликер Тодд, Автор: Ковентри ПенелопаКатегория: ОС и Сети
Размер книги: 6.57 Mb
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient ComputationАвтор: Torsten Schaub
Размер книги: 2.68 Mb
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003Автор: Hartmut König, Автор: Monika Heiner, Автор: Adam Wolisz
Размер книги: 3.85 Mb
Polar Remote Sensing: Volume II: Ice Sheets (Springer Praxis Books Geophysical Sciences) (v. 2)Автор: Robert Massom, Автор: Dan LubinКатегория: Математика, Математическая физика
Размер книги: 15.77 Mb
Challenging Behaviour: Analysis and Intervention in People with Severe Intellectual DisabilitiesАвтор: Eric EmersonКатегория: Математика, Анализ
Размер книги: 1.47 Mb
Evolución Histórica de los Uniformes del Ejército del Perú (1821-1980)Автор: Lourdes Medina Montoya, Автор: Roberto Mendoza Policarpio, Автор: Rodolfo Parodi GuffantiКатегория: КНИГИ ВОЕННАЯ ИСТОРИЯ
Размер книги: 63.54 Mb
|
|
|