Сортировать по:
Выпуск | Название | |
Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. Д. Татарников | ||
"... микропроцессоров. Генерация тестовых программ и анализ результатов их выполнения являются основным подходом к ..." | ||
Том 32, № 2 (2020) | Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации | Аннотация похожие документы |
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ | ||
"... Система прерываний является важной частью микропроцессоров. Прерывания широко используются для ..." | ||
Том 31, № 3 (2019) | Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” | Аннотация похожие документы |
Павел Алексеевич Порошин, Алексей Николаевич Мешков | ||
"... микропроцессоров “Эльбрус”, которые бы позволяли переиспользовать функционал существующего функционального ..." | ||
Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин | ||
"... Статья относится к области системного функционального (core-level) тестирования микропроцессоров ..." | ||
Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
"... многоядерных микропроцессоров. Описаны общие свойства устройств подсистемы памяти микропроцессора, а также ..." | ||
Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
В. С. Буренков, А. С. Камкин | ||
Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
А. Д. Татарников | ||
"... является наиболее широко применяемым подходом к функциональной верификации микропроцессоров. Данная задача ..." | ||
Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
А. С. Камкин, А. М. Коцыняк | ||
"... управления памятью микропроцессоров с архитектурой MIPS64. Предлагаемое средство базируется на среде ..." | ||
Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
В. С. Буренков | ||
Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
"... управления памятью микропроцессора. В основе метода лежат формальные спецификации инструкций доступа к памяти ..." | ||
Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
"... Обеспечение корректности микропроцессоров и другой микроэлектронной аппаратуры является ..." | ||
Том 32, № 2 (2020) | Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» | Аннотация похожие документы |
Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ | ||
"... Производительность современных микропроцессоров существенно зависит от устройства их подсистемы ..." | ||
Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин | ||
"... для функциональной верификации модулей обработки переходов микропроцессоров. Формулируются задачи ..." | ||
Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
Д. Н. Воробьев, А. С. Камкин | ||
"... управляющей логики микропроцессоров. Методика основана на формальной спецификации системы команд и описании ..." | ||
Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
"... подходы к верификации блоков подсистем памяти многоядерных микропроцессоров. Описаны характеристики ..." | ||
Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
"... виртуализации); все это делает функциональную верификацию микропроцессоров этой архитектуры крайне трудной ..." | ||
Том 33, № 6 (2021) | Обзор методов функционального онлайн-тестирования микропроцессоров | Аннотация PDF (Rus) похожие документы |
Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО | ||
"... Функциональным онлайн-тестированием называется верификация опытных образцов микропроцессоров или ..." | ||
Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
"... экспериментальной оценки инструментов была взята модель микропроцессора с архитектурой RISC-V под названием PicoRV32 ..." | ||
Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
Александр Камкин, Михаил Петроченков | ||
"... микропроцессоров. В методе используется недетерминированная эталонная модель тестируемой системы. Идея подхода ..." | ||
1 - 19 из 19 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)