Зображення обкладинки

Тестирование и верификация HDL-моделей цифровых систем на кристаллах

Предложена технология тестирования и верификации цифровых систем для диагностирования и исправления ошибок HDL-моделей, основанная на совместном использовании механизма (системы) ассерций и тестопригодного проектирования. Представлена универсальная модель программного компонента в виде транзакционно...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2010
Автори:	Хаханов, В.И., Хаханова, И.В., Литвинова, Е.И., Гузь, О.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2010
Теми:	Информационные технологии
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/12810
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Тестирование и верификация HDL-моделей цифровых систем на кристаллах / В.И. Хаханов, И.В. Хаханова, Е.И. Литвинова, О.А. Гузь // Электронное моделирование. — 2010. — Т. 32, № 2. — С. 31-60. — Бібліогр.: 18 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Кубитные технологии анализа и диагностирования цифровых устройств
за авторством: Хаханов, В.И., та інші
Опубліковано: (2015)

Смешанное моделирование цифровых систем на переключательном и логико-функциональном уровнях
за авторством: Андрюхин, А.И.
Опубліковано: (2009)

Расчет автокорреляционной функции цифровых сигналов с использованием матричных макроопераций системы MatLab
за авторством: Семенко, А.И., та інші
Опубліковано: (2013)

Теоретические и прикладные аспекты параллельноиерархического многоуровневого преобразования цифровых сигналов
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2013)

Методика построения и применения вероятностных сетевых моделей
за авторством: Бидюк, П.И., та інші
Опубліковано: (2013)

Тестирование моделей объектно-ориентированного программного обеспечения
за авторством: Литвинов, В.В., та інші
Опубліковано: (2012)

Декодирование кодов Рида— Соломона на основе графовой и автоматной моделей
за авторством: Семеренко В.П.
Опубліковано: (2011)

Проектирование и физическая верификация цифровых устройств на ПЛИС
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2008)

Построение систем прогнозных моделей многомерных взаимосвязанных процессов
за авторством: Ефименко, С.Н.
Опубліковано: (2016)

Оценка оптических передаточных функций и восстановление цифровых аэрокосмических изображений методом инверсной фильтрации
за авторством: Станкевич, С.А.
Опубліковано: (2006)

Технология интеграции математических моделей в системы поддержки принятия решений в сфере экологической безопасности на основе распределенных объектов-оберток
за авторством: Евдин, Е.А.
Опубліковано: (2014)

Устранение паразитной частотной модуляции в звуковом сигнале
за авторством: Косяк, И.В.
Опубліковано: (2010)

Эволюция методов и моделей развития социально-экономических систем в период трансформации экономики
за авторством: Бажан, Л.И.
Опубліковано: (2017)

Автоматическое построение алгоритмов моделирования технических систем сетевой топологии посредством логического вывода на функциональной схеме
за авторством: Кондращенко, В.Я.
Опубліковано: (2012)

Метод текстонезависимой идентификации диктора на базе данных моделей дикторов в виде древовидной структуры
за авторством: Ермоленко, Т.В., та інші
Опубліковано: (2013)

Анализ безопасности систем цифровых водяных знаков
за авторством: Кошкина, Н.В.
Опубліковано: (2011)

Метод имитационного моделирования многоуровневых иерархических систем
за авторством: Якимов, А.И.
Опубліковано: (2008)

Анализ многопараметрической стратегии доступа в мультисервисных беспроводных сотовых сетях связи
за авторством: Фаттахова, М.И.
Опубліковано: (2010)

Производящая функция для распределения статистик автокорреляционной функции
за авторством: Кобяк, И.П.
Опубліковано: (2010)

Реализация Treat алгоритма на основе сопоставления с образцом в программной оболочке CLIPS
за авторством: Мажара, О.А.
Опубліковано: (2015)

Информационная технология классификации изображений пятен лазерных пучков и прогнозирования координат их энергетических центров с использованием параллельно-иерархической сети
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2016)

Модели анализа неисправностей цифровых систем на основе FPGA, CPLD
за авторством: Хаханов, В.И., та інші
Опубліковано: (2001)

Семантическое модельно-управляемое моделирование архитектуры системы сервисов на основе доменных онтологий
за авторством: Петренко, А.А., та інші
Опубліковано: (2016)

Эффективность реализации кросс-платформенных систем распознавания речи
за авторством: Васильева, Н.Б., та інші
Опубліковано: (2013)

Построение формальной модели вопросно-ответного взаимодействия пользователя с автоматизированной системой
за авторством: Верлань, А.Ф., та інші
Опубліковано: (2014)

Аппаратная реализация модели формального нейрона
за авторством: Мартынюк, Т.Б., та інші
Опубліковано: (2010)

Метод расчета параметров интегральной сотовой сети связи с изолированным разделением каналов
за авторством: Меликов, А.З., та інші
Опубліковано: (2014)

Разработка дискретных моделей для решения задач популяционной экологии и экологии сообществ
за авторством: Быць, А.В.
Опубліковано: (2013)

Создание математических моделей и методов решения задач оперативного управления в чрезвычайных ситуациях
за авторством: Садыгов, А.Б.
Опубліковано: (2011)

Застосування методiв нечiткої логiки для телемедичних систем
за авторством: Хорозов, О.А.
Опубліковано: (2017)

Нечеткая математика на основе тензорных моделей неопределенности. II. Операции нечеткой математики в тензорном базисе
за авторством: Минаев, Ю.Н., та інші
Опубліковано: (2008)

Нечеткая математика на основе тензорных моделей неопределенности. I. Тензор-переменная в системе нечетких множеств
за авторством: Минаев, Ю.Н., та інші
Опубліковано: (2008)

О формировании моделей объектов ресурсами автономного мобильного робота
за авторством: Сухоручкина, О.Н., та інші
Опубліковано: (2018)

Моделирование многокомпонентных сигналов в хронопотенциометрии
за авторством: Суровцев, И.В.
Опубліковано: (2016)

Метод цифровой фильтрации электрохимических сигналов в хронопотенциометрии
за авторством: Суровцев, И.В.
Опубліковано: (2015)

Преобразование структуры данных при определении концентрации методами инверсионной хронопотенциометрии
за авторством: Суровцев, И.В.
Опубліковано: (2015)

Формальная верификация диаграммы классов
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)

Нейросетевой алгоритм дикторонезависимого распознавания фонем устной речи
за авторством: Федяев, О.И., та інші
Опубліковано: (2013)

Информационная технология ускоренной разработки информационных систем
за авторством: Евланов, М.В., та інші
Опубліковано: (2014)

Система ультразвуковой диагностики с использованием фазовой информации отраженного звукового поля
за авторством: Огир, А.С., та інші
Опубліковано: (2016)