«Бог не меняет того, что (происходит) с людьми, пока они сами не изменят своих помыслов.» Коран, Сура 12:13

Участник:ANA/Библиотека

Материал из Wiki
Перейти к: навигация, поиск

Функциональная верификация

  • 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.
Источник — «http://simhard.com/wiki/index.php?title=Участник:ANA/Библиотека&oldid=2614»