Участник:ANA/Библиотека — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) (Новая страница: «*{{книга | автор = Bruce Wile, John Goss, Wolfgang Roesner | название = Comprehensive Functional Verification. The Complete Industry Cycle (Syst…») |
ANA (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| + | == Функциональная верификация == | ||
*{{книга | *{{книга | ||
| автор = Bruce Wile, John Goss, Wolfgang Roesner | | автор = Bruce Wile, John Goss, Wolfgang Roesner | ||
| Строка 21: | Строка 22: | ||
}} | }} | ||
:: В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча. | :: В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча. | ||
| + | |||
| + | * {{книга | ||
| + | | автор = Ilya Wagner, Valeria Bertacco | ||
| + | | название = Post-Silicon and Runtime Verification for Modern Processors | ||
| + | | ссылка = | ||
| + | | заглавие = | ||
| + | | оригинал = | ||
| + | | ответственный = | ||
| + | | страницы = | ||
| + | | место = | ||
| + | | город = | ||
| + | | издательство = | ||
| + | | издание = | ||
| + | | том = | ||
| + | | страниц = | ||
| + | | pages = | ||
| + | | allpages = | ||
| + | | серия = | ||
| + | | тираж = | ||
| + | | isbn = | ||
| + | | год = 2010 | ||
| + | }} | ||
Версия 18:23, 27 августа 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.
- В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча.
- Ilya Wagner, Valeria Bertacco Post-Silicon and Runtime Verification for Modern Processors — 2010.
