Normal view
MARC view
Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием Минсон Чэнь, Ксяоке Цинь, Хеон-Мо Ку, Прабхат Мишра ; пер. с англ. Е. Б. Махияновой ; под ред. А. Н. Ланцева
Material type:
TextSeries: Мир радиоэлектроникиPublication details: Москва Техносфера 2014Description: 294 с. рис., таблISBN: 9785948363653Subject(s): многопроцессорные системы на кристалле | валидация программных средств | валидация аппаратных средств | архитектура электронных систем на кристалле | дизайн архитектуры электронных систем на кристалле | валидация системная | схемотехническое моделирование электронных систем на кристалле | САПР электронных средств | верификация моделей | SAT, метод верификации моделей | тестирование электронных систем | тестирование программного обеспечения | генерация тестов автоматическая | автоматизация проектирования электронных систем на кристалле | электронные системы на кристаллае | графовое моделирование структурное | FSM-моделирование поведенческое | UML, унифицированный язык моделирования | тесты функциональные (информатика) | генерация тестов синхронизированная | генерация тестов методами декомпозиции | генерация тестов методами обучения | MIPS, процессор | валидация согласованности кэшей | TLM, система моделирования и совместимости моделей аппаратно-программных компонент | RTL, система моделирования аппаратного поведения электронной системы | TLM-тесты генерации | RTL-тесты генерации | принятие решений на основе методов обучения (информатика) | многоядерные архитектуры | процессоры конвейерные | маршрутизаторы | валидация функциональная (информатика)
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 1 месяц | Читальный зал. Депозитарий | 004.2 В155 (Browse shelf (Opens below)) | Available | 13820000876219 | |
| Выдается в читальный зал | Книгохранилище | 2-060076 (Browse shelf (Opens below)) | Available | 13820000866290 |
Библиогр. в конце гл.
There are no comments on this title.