|
|
libcats.org
Principles of Functional VerificationAndreas MeyerAs design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a hands-on, practical text that will help train professionals in the field of engineering on the methodology and approaches to verification.
In practice, the architectural intent of a device is necessarily abstract. The implementation process, however, must define the detailed mechanisms to achieve the architectural goals. Based on a decade of experience, Principles of Functional Verification intends to pinpoint the issues, provide strategies to solve the issues, and present practical applications for narrowing the gap between architectural intent and implementation. The book is divided into three parts, each building upon the chapters within the previous part. Part One addresses why functional verification is necessary, its definition and goals. In Part Two, the heart of the methodology and approaches to solving verification issues are examined. Each chapter in this part ends with exercises to apply what was discussed in the chapter. Part Three looks at practical applications, discussing project planning, resource requirements, and costs. Each chapter throughout all three parts will open with Key Objectives, focal points the reader can expect to review in the chapter. * Takes a "holistic" approach to verification issues * Approach is not restricted to one language * Discussed the verification process, not just how to use the verification language
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Энциклопедия кибернетики. Абс-МирАвтор: Глушков В.М., Автор: и др. (ред.)Категория: Computer science
Размер книги: 11.82 Mb
Введение в геохимию горючих ископаемыхАвтор: Былинкин Г.П.Категория: GeoSciences, GeoChemistry
Размер книги: 1.53 Mb
Innovation Unleashed: Chief Innovation Officers from McCann-Erickson, Edelman, Publicis & More on Developing and Implementing Creative Communication SolutionsАвтор: Inside the Minds staffКатегория: computer
Размер книги: 260 Kb
Borges: The Passion of an Endless Quotation (Suny Series in Latin American and Iberian Thought and Culture)Автор: Lisa Block de Behar, Автор: Lisa Block De Behar
Размер книги: 653 Kb
Coastal Processes with Engineering Applications (Cambridge Ocean Technology Series)Автор: Robert G. Dean, Автор: Robert A. DalrympleКатегория: Техника
Размер книги: 8.56 Mb
|
|
|