Co-verification Of Hardware an

This is a remarkable book.

Jason Andrews knows about the hardware and the software. He knows about the

people, the tools, and the methodologies in the middle ground between hardware

and software.

He can also write, explaining complex things so that you can really understand them.

One of the main reasons this middle area is so complex is there are just too many

interacTIng issues to understand and too many decisions to make.

Jason takes care to enumerate the issues, explain how they interact, and describe the opTIons for dealing with them.

Best of all, he explains which tools and methodologies are applicable for each situaTIon.

This is crucial because there are many disTInct solutions for the problem, and

you cannot possibly use them all. You need to make an informed judgment on what

to do when.

Jason has either used or implemented most of these solutions, some of them twice,

and he gives a very informed tour of the land and guides you through the possible

compromises.

Please note that while Jason and I work for a verification company (Verisity) that

would love to sell you verification solutions, this book is decidedly generic. It tells you what works, what does not, and why.

While the title of the book is Co-Verification of Hardware and Software for ARM SoC

Design, I think this book has wider applicability. In fact, if any of the following apply,then you should begin by reading this book:

■ You are involved in the verification of products that contain both hardware

and software, regardless of whether they are SoC-based or ARM-based.

■ You are working on one side of the HW/SW divide, and want to see what the

other side looks like.

■ You are interested in creating tools for this area.