Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей
Journal Title: Радиоэлектроника и информатика - Year 2016, Vol 3, Issue 3
Abstract
Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями выходов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. Для обеспечения возврата автомата с возможной ошибкой проектирования в начальное состояние предлагается использовать синхронизирующие последовательности.
Authors and Affiliations
Александр Шкиль, Марина Анатольевна Мирошник, Эльвира Николаевна, Кулак, Анна Сергеевна Гребенюк, Дария Ефимовна Кучеренко
Keywords
Related Articles
- EP ID EP580170
- DOI -
- Views 111
- Downloads 0
Концепції побудови сучасних мереж
Описуються технології SDN, SDR, NFV, Big Data, IoT та їх реалізація за допомогою хмарних сервісів, що є невід’ємною частиною мереж 5G. Детально розглядається концепція SDN. Визначаються недоліки хмарних мереж радіодоступ...
Метод кластеризации блоков аэрофотоснимка в двухпризнаковом структурном пространстве в системе обработки информации
Рассматриваются основные вопросы, которые связаны с кластерным анализом, а именно c алгоритмами кластеризации цифровых аэрофотоснимков в системе обработки и передачи информации. Предлагается использовать алгоритм кластер...
АНАЛІЗ ІНІЦІАТИВИ АЛЬЯНСУ ZIGBEE ЩОДО СТВОРЕННЯ УНІВЕРСАЛЬНОЇ МОВИ DOTDOT ДЛЯ IOT
Розглядається будова ZigBee для створення мережі моніторингу та контролю за станом ліній електропередачі. Технології IoT традиційно використовують в мережах з низькою швидкістю, низькою потужністю і короткими пакетами да...
Обнаружение и распознавание сигналов в условиях априорной неопределенности при автоматизированном радиомониторинге
Рассматриваются вопросы обнаружения и распознавания сигналов в частотных каналах, которые возникают в процессе проведения автоматизированного радиомониторинга. Отличительной особенностью таких задач обработки сигналов яв...
Исследование и разработка интеллектуальных методов управления современным предприятием
Исследуются интеллектуальные системы управления в производственном планировании современного промышленного предприятия. Предлагается оптими-зационный метод решения производственных задач для распределения ресурсов предпр...