Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей
Journal Title: Радиоэлектроника и информатика - Year 2016, Vol 3, Issue 3
Abstract
Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями выходов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. Для обеспечения возврата автомата с возможной ошибкой проектирования в начальное состояние предлагается использовать синхронизирующие последовательности.
Authors and Affiliations
Александр Шкиль, Марина Анатольевна Мирошник, Эльвира Николаевна, Кулак, Анна Сергеевна Гребенюк, Дария Ефимовна Кучеренко
Keywords
Related Articles
- EP ID EP580170
- DOI -
- Views 102
- Downloads 0
Автоматизированное проектирование систем логического управления с использованием шаблонов автоматного программирования
Предлагается использовать шаблоны автоматного программирования для проектирования устройств логического управления на основе конечных автоматов. При проектировании конечного автомата на технологической платформе ПЛИС FPG...
ТЕХНОЛОГИЯ КОДИРОВАНИЯ ПРЕДСКАЗАННЫХ КАДРОВ В ИНФОКОММУНИКАЦИОННЫХ СИСТЕМАХ
Рассматривается метод кодирования информативных элементов последовательности предсказанных кадров.
Метод повышения доступности видеопотока для информационных технологий закрытия информации
Разрабатывается метод селекции значимых структурных единиц видеокадра, обеспечивающий снижение пропускной способности закрытого видеоканала.
МЕТОДОЛОГИЯ ОЦЕНКИ ВЛИЯНИЯ КИБЕРАТАК НА БЕЗОПАСНОСТЬ ВИДЕОИНФОРМАЦИОННОГО РЕСУРСА В ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМАХ
Излагаются основные этапы методологии оценки влия- ния кибератак на безопасность видеоинформационно- го ресурса. Анализируются современные угрозы ин- формационно-телекоммуникационных систем. Обосно- вывается актуальность...
ОЦЕНКА ОСЕВОЙ РАЗРЕШАЮЩЕЙ СПОСОБНОСТИ СВЧ СЕНСОРА ДЛЯ ИССЛЕДОВАНИЙ БИОЛОГИЧЕСКИХ ОБЪЕКТОВ
Описывается теоретический анализ разрешающей способности СВЧ сенсора. Рассматривается задача описания полей в рабочей области такого сенсора. Геометрическая схема сенсора допускает возможность использо...