Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
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)
- SysML (1)
- TLM, система моделирования и совместимости моделей аппаратно-программных компонент (1)
- TLM-тесты генерации (1)
- UML, унифицированный язык моделирования (1)
- V-модель процесса системной инженерии (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