Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
09 Сентября 2024
Ключевое слово: rtl-модель
- Формальные методы верификации RTL-моделей сверхбольших интегральных схем Авторы статьи: Новожилов Е.Е.
- Развитие системы стохастического тестирования микропроцессоров INTEG Авторы статьи: Грибков И.В., Захаров А.В., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш., Коганов М.А.
- Роль стохастического тестирования в функциональной верификации микропроцессоров Авторы статьи: Хисамбеев И.Ш.
- Тестирование микропроцессоров и их RTL-моделей приложениями пользователя под ОС Linux Авторы статьи: Чибисов П.А.
