Co-verification of Hardware and Software for ARM SoC Design (Embedded Technology)

Co-verification of Hardware and Software for ARM SoC Design (Embedded Technology), 9780750677301 (0750677309), Newnes, 2004

This book is the first to document and teach important information about the verification technique known as hardware/software co-verification. Traditional embedded system design has evolved into single chip designs that are pushing past 1M logic gates and headed toward 10M gates. In this era of SoC design, chips now include microprocessors and require software to be developed before hardware fabrication. To develop quality products effectively and in a timely manner, engineers must be armed with 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. Individual books exist in each area, but until now the relevant information and how it all fits together has not been available in a single volume. This book provides unique, in-depth information about how co-verification really works, how to be successful using it, and the pitfalls to avoid.

This book also contains an added bonus. It covers important information about developing and verifying SoC designs using ARM microprocessor cores. In the last few years ARM has achieved a dominant market position in the 32-bit embedded microprocessor space and has become the de facto standard for many market segments. This book illustrates the concepts of hardware/software co-verification using concrete ARM SoC examples and provides useful information about co-verification of designs utilizing an ARM microprocessor.

Comments

Amazing Books

Medical Simulation: International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science)

Springer, 2004

This book contains the written contributions to the International Symposium on Medical Simulation (ISMS 2004) held in Cambridge, Massachusetts, USA on June 17–18, 2004.

The manuscripts are organized around five thematic sections relating to the multidisciplinary field of medical simulation: soft tissue properties and modeling,...

Light Field Sampling (Synthesis Lectures on Image, Video, and Multimedia Processing)

Morgan and Claypool Publishers, 2006

Light field is one of the most representative image-based rendering techniques that generate novel virtual views from images instead of 3D models. The light field capture and rendering process can be considered as a procedure of sampling the light rays in the space and interpolating those in novel views. As a result, light field can be studied as a...

Information Science in Theory and Practice

K. G. Saur, 2004

It is nowadays a commonplace that we are living in an ‘information society’. The practical importance of information to problem solving, decision making, and just plain coping with life is clear to all. The communication of information in society is an immensely variegated and complex phenomenon, and the more understanding of it we can...

Artificial Intelligence in Education (Frontiers in Artificial Intelligence and Applications)

IOS Press, 2005

The 12th International Conference on Artificial Intelligence in Education (AIED-2005) is being held July 18–22, 2005, in Amsterdam, the beautiful Dutch city near the sea. AIED-2005 is the latest in an on-going series of biennial conferences in AIED dating back to the mid-1980’s when the field emerged from a synthesis of artificial...

The Elements of Style (4th Edition)

Pearson Education, 1999

You know the authors' names. You recognize the title. You've probably used this book yourself. This is The Elements of Style, the classic style manual, now in a fourth edition. A new Foreword by Roger Angell reminds readers that the advice of Strunk & White is as valuable today as when it was first offered.This...

Expert Trading Systems: Modeling Financial Markets with Kernel Regression

John Wiley & Sons, 2000

With the proliferation of computer programs to predict market direction, professional traders and sophisticated individual investors have increasingly turned to mathematical modeling to develop predictive systems. Kernel regression is a popular data modeling technique that can yield useful results fast.

Provides data modeling...