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