Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием

Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием

Bibliographic Details
Other Authors:	Чэнь, Минсон, Цинь, Ксяоке, Ку, Хеон-Мо, Мишра, Прабхат, Ланцев, А. Н. (Editor)
Format:	Book
Language:	Russian
Published:	Москва Техносфера 2014
Series:	Мир радиоэлектроники
Subjects:	многопроцессорные системы на кристалле валидация программных средств валидация аппаратных средств архитектура электронных систем на кристалле дизайн архитектуры электронных систем на кристалле валидация системная схемотехническое моделирование электронных систем на кристалле САПР электронных средств верификация моделей SAT, метод верификации моделей тестирование электронных систем тестирование программного обеспечения генерация тестов автоматическая автоматизация проектирования электронных систем на кристалле электронные системы на кристаллае графовое моделирование структурное FSM-моделирование поведенческое UML, унифицированный язык моделирования тесты функциональные (информатика) генерация тестов синхронизированная генерация тестов методами декомпозиции генерация тестов методами обучения MIPS, процессор валидация согласованности кэшей TLM, система моделирования и совместимости моделей аппаратно-программных компонент RTL, система моделирования аппаратного поведения электронной системы TLM-тесты генерации RTL-тесты генерации принятие решений на основе методов обучения (информатика) многоядерные архитектуры процессоры конвейерные маршрутизаторы валидация функциональная (информатика)
Online Access:	Перейти в каталог НБ ТГУ

Internet

Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Читальный зал. Депозитарий

Holdings details from Научная библиотека ТГУ: Читальный зал. Депозитарий
Call Number:	004.2 В155
	Available Place a Hold

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	2-060076
	Available Place a Hold