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