Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2010
Hauptverfasser:	Хаханов, В.И., Хаханова, И.В., Литвинова, Е.И., Гузь, О.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2010
Schlagworte:	Информационные технологии
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/12810
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Тестирование и верификация HDL-моделей цифровых систем на кристаллах / В.И. Хаханов, И.В. Хаханова, Е.И. Литвинова, О.А. Гузь // Электронное моделирование. — 2010. — Т. 32, № 2. — С. 31-60. — Бібліогр.: 18 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Кубитные технологии анализа и диагностирования цифровых устройств
von: Хаханов, В.И., et al.
Veröffentlicht: (2015)

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

Расчет автокорреляционной функции цифровых сигналов с использованием матричных макроопераций системы MatLab
von: Семенко, А.И., et al.
Veröffentlicht: (2013)

Теоретические и прикладные аспекты параллельноиерархического многоуровневого преобразования цифровых сигналов
von: Тимченко, Л.И., et al.
Veröffentlicht: (2013)

Методика построения и применения вероятностных сетевых моделей
von: Бидюк, П.И., et al.
Veröffentlicht: (2013)

Декодирование кодов Рида— Соломона на основе графовой и автоматной моделей
von: Семеренко В.П.
Veröffentlicht: (2011)

Тестирование моделей объектно-ориентированного программного обеспечения
von: Литвинов, В.В., et al.
Veröffentlicht: (2012)

Проектирование и физическая верификация цифровых устройств на ПЛИС
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2008)

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

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

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

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

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

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

Метод текстонезависимой идентификации диктора на базе данных моделей дикторов в виде древовидной структуры
von: Ермоленко, Т.В., et al.
Veröffentlicht: (2013)

Метод имитационного моделирования многоуровневых иерархических систем
von: Якимов, А.И.
Veröffentlicht: (2008)

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

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

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

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

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

Модели анализа неисправностей цифровых систем на основе FPGA, CPLD
von: Хаханов, В.И., et al.
Veröffentlicht: (2001)

Семантическое модельно-управляемое моделирование архитектуры системы сервисов на основе доменных онтологий
von: Петренко, А.А., et al.
Veröffentlicht: (2016)

Эффективность реализации кросс-платформенных систем распознавания речи
von: Васильева, Н.Б., et al.
Veröffentlicht: (2013)

Построение формальной модели вопросно-ответного взаимодействия пользователя с автоматизированной системой
von: Верлань, А.Ф., et al.
Veröffentlicht: (2014)

Аппаратная реализация модели формального нейрона
von: Мартынюк, Т.Б., et al.
Veröffentlicht: (2010)

Метод расчета параметров интегральной сотовой сети связи с изолированным разделением каналов
von: Меликов, А.З., et al.
Veröffentlicht: (2014)

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

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

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

Нечеткая математика на основе тензорных моделей неопределенности. II. Операции нечеткой математики в тензорном базисе
von: Минаев, Ю.Н., et al.
Veröffentlicht: (2008)

Нечеткая математика на основе тензорных моделей неопределенности. I. Тензор-переменная в системе нечетких множеств
von: Минаев, Ю.Н., et al.
Veröffentlicht: (2008)

О формировании моделей объектов ресурсами автономного мобильного робота
von: Сухоручкина, О.Н., et al.
Veröffentlicht: (2018)

Моделирование многокомпонентных сигналов в хронопотенциометрии
von: Суровцев, И.В.
Veröffentlicht: (2016)

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

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

Нейросетевой алгоритм дикторонезависимого распознавания фонем устной речи
von: Федяев, О.И., et al.
Veröffentlicht: (2013)

Информационная технология ускоренной разработки информационных систем
von: Евланов, М.В., et al.
Veröffentlicht: (2014)

Система ультразвуковой диагностики с использованием фазовой информации отраженного звукового поля
von: Огир, А.С., et al.
Veröffentlicht: (2016)

Исследование влияния погрешностей отдельных факторов на погрешность моделирования распространения примесей в приземном слое атмосферы
von: Криваковская, Р.В., et al.
Veröffentlicht: (2013)