libcats.org
Главная

An Introduction to Formal Hardware Verification

Нет обложки

An Introduction to Formal Hardware Verification

Formal hardware verification has recently attracted considerable interest. The need for "correct" designs in safely-critical applications, coupled with the major cost associated with products delivered late, are two of the main factors behind this. In addition, as the complexity of the designs increase, an ever smaller percentage of the possible behaviors of the designs will be simulated. Hence, the confidence in the designs obtained by simulation is rapidly diminishing. This paper provides an introduction to the topic by describing three of the main approaches to formal hardware verification: theorem-proving, model checking, and symbolic simulation. We outline the underlying theory behind each approach, we illustrate the approaches by applying them to simple examples, and we discuss their strengths and weaknesses. We conclude the paper by describing current on-going work on combining the approaches to achieve multi-level verification approaches.
Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Devilish Dot

Автор:
Размер книги: 212 b

image003

Автор:
Размер книги: 7 Kb

Study Guide Solutions Manual Organic Chemistry Schore

Автор: , Автор:
Размер книги: 39.17 Mb

Russian warriors. Sukhois, MiGs and Tupolevs

Автор: , Автор: , Автор:
Категория: Вооружение
Размер книги: 18.32 Mb

Words into Type (3rd Edition)

Автор: , Автор:
Размер книги: 9.27 Mb

Ужин с Джоном Ленноном

Автор:
Категория: Малая проза
Размер книги: 3 Kb

Deadly Little Secret

Автор:
Категория: fiction
Размер книги: 116 Kb

Tiger's Heart

Автор:
Категория: fiction
Размер книги: 163 Kb