Refine your search
Availability
-
Bibliographic level
- Статьи из сборников (1)
- Книги (1)
-
Authors
- Голубева, Ольга Ивановна (1)
- Ку, Хеон-Мо (1)
- Ланцев, А. Н. (1)
- Мишра, Прабхат (1)
- Цинь, Ксяоке (1)
- Чэнь, Минсон (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (1)
- 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)
- Show more
- Show less