Участник:ANA/Библиотека — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) |
ANA (обсуждение | вклад) м |
||
| Строка 1: | Строка 1: | ||
== Функциональная верификация == | == Функциональная верификация == | ||
| + | |||
| + | === Книги === | ||
| + | |||
*{{книга | *{{книга | ||
| автор = Bruce Wile, John Goss, Wolfgang Roesner | | автор = Bruce Wile, John Goss, Wolfgang Roesner | ||
| Строка 21: | Строка 24: | ||
| год = 2005 | | год = 2005 | ||
}} | }} | ||
| − | :: В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча. | + | :: В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча. Описан язык PSL. |
* {{книга | * {{книга | ||
| Строка 44: | Строка 47: | ||
| год = 2010 | | год = 2010 | ||
}} | }} | ||
| + | |||
| + | === Статья === | ||
| + | === Ссылки === | ||
| + | * [http://blogs.mentor.com/verificationhorizons/blog/2013/08/19/part-10-the-2012-wilson-research-group-functional-verification-study/ Обзор популярности HDL для верификации]. | ||
Версия 10:12, 28 августа 2013
Содержание |
Функциональная верификация
Книги
- Bruce Wile, John Goss, Wolfgang Roesner Comprehensive Functional Verification. The Complete Industry Cycle (Systems on Silicon) — USA: Elsevier, 2005. — 676 с. — ISBN 0-12-751803-7.
- В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча. Описан язык PSL.
- Ilya Wagner, Valeria Bertacco Post-Silicon and Runtime Verification for Modern Processors — 2010.
