Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей
Journal Title: Радиоэлектроника и информатика - Year 2016, Vol 3, Issue 3
Abstract
Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями выходов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. Для обеспечения возврата автомата с возможной ошибкой проектирования в начальное состояние предлагается использовать синхронизирующие последовательности.
Authors and Affiliations
Александр Шкиль, Марина Анатольевна Мирошник, Эльвира Николаевна, Кулак, Анна Сергеевна Гребенюк, Дария Ефимовна Кучеренко
Keywords
Related Articles
- EP ID EP580170
- DOI -
- Views 103
- Downloads 0
ПРОГРАММНЫЕ СРЕДСТВА СИСТЕМЫ УЧЕТА ИСПОЛЬЗОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ РЕСУРСОВ УКРАИНСКОЙ ГРИД-ИНФРАСТРУКТУРЫ
Описываются программные средства, применённые при создании системы сбора и публикации информации об использовании вычислительных ресурсов грид-сети Украины NGI_UA. Система содержит актуальные данные о работе практич...
Optimum Sum Codes, that Effectively Detect the Errors of Low Multiplicities
The article provides the method of formation of the sum code with minimum total number of undetectable errors. The code, suggested by authors, has the same number of check bits, as a classic Berger code, but also has a b...
Исследование и разработка интеллектуальных методов управления современным предприятием
Исследуются интеллектуальные системы управления в производственном планировании современного промышленного предприятия. Предлагается оптими-зационный метод решения производственных задач для распределения ресурсов предпр...
Cyber-Social Computing of Relationship
An innovative cyber culture and computing of social governance of citizens is proposed, aimed at the moral metric cloud service of social groups through the leverage of digital monitoring and expert evaluation of social...
Системи штучного інтелекту – основа сучасних інформційних технологій та їх програмне забезпечення
На основі системного підходу (від простого до складно-го) робиться класифікація сучасних систем штучного інтелекту (СШІ), аналізуються способи подання даних і знань в СШІ, відзначаються особливості кожної з них та вказую...