Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
- Ку, Хеон-Мо (1)
- Ланцев, А. Н. (1)
- Мишра, Прабхат (1)
- Налютин, Никита Юрьевич (1)
- Синицын, Сергей Владимирович (1)
- Цинь, Ксяоке (1)
- Чэнь, Минсон (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (2)
- 1 месяц (1)
-
Topics
- валидация программных средств (2)
- FSM-моделирование поведенческое (1)
- MIPS, процессор (1)
- RTL, система моделирования аппаратного поведения электронной системы (1)
- RTL-тесты генерации (1)
- SAT, метод верификации моделей (1)
- TLM, система моделирования и совместимости моделей аппаратно-программных компонент (1)
- TLM-тесты генерации (1)
- UML, унифицированный язык моделирования (1)
- Верификация (1)
- Компьютеры персональные (1)
- Программы (1)
- САПР электронных средств (1)
- автоматизация проектирования электронных систем на кристалле (1)
- архитектура электронных систем на кристалле (1)
- аудит процессов верификации (1)
- валидация аппаратных средств (1)
- валидация системная (1)
- валидация согласованности кэшей (1)
- валидация функциональная (информатика) (1)
- верификация моделей (1)
- верификация программных средств (1)
- генерация тестов автоматическая (1)
- генерация тестов методами декомпозиции (1)
- генерация тестов методами обучения (1)
- генерация тестов синхронизированная (1)
- графовое моделирование структурное (1)
- дизайн архитектуры электронных систем на кристалле (1)
- конфигурационное управление (1)
- маршрутизаторы (1)
- менеджмент качества (1)
- многопроцессорные системы на кристалле (1)
- многоядерные архитектуры (1)
- модели жизненного цикла программ (1)
- надежность программного обеспечения (1)
- принятие решений на основе методов обучения (информатика) (1)
- программные средства (1)
- промышленная разработка программных средств (1)
- процессоры конвейерные (1)
- сопроводительные документы (1)
- схемотехническое моделирование электронных систем на кристалле (1)
- тестирование программного обеспечения (1)
- тестирование программных средств (1)
- тестирование электронных систем (1)
- тесты функциональные (информатика) (1)
- технологии разработки программного обеспечения (1)
- устойчивые коды (1)
- учебные пособия для вузов (1)
- формальные инспекции (1)
- электронные системы на кристаллае (1)
- Show more
- Show less