We have over a million books in stock

Bookbot
The book is currently out of stock

Advanced automation in formal verification of processors

Authors

More about the book

This thesis addresses automation and enhanced user support in functional verification of digital systems with a special focus on processors. Verification is an important issue in the design process of digital systems. In contrast to traditional simulation based methods, formal verification can provide a mathematical correctness proof. But, up to today, these methods are difficult to use in practice, without a strong background in formal techniques. This thesis aims at improving the usability and increasing the productivity of formal hardware verification.

Parameters

ISBN
9783832286194
Publisher
Shaker

Categories

Book variant

2009

Book purchase

The book is currently out of stock.