Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей
Journal Title: Радиоэлектроника и информатика - Year 2016, Vol 3, Issue 3
Abstract
Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями выходов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. Для обеспечения возврата автомата с возможной ошибкой проектирования в начальное состояние предлагается использовать синхронизирующие последовательности.
Authors and Affiliations
Александр Шкиль, Марина Анатольевна Мирошник, Эльвира Николаевна, Кулак, Анна Сергеевна Гребенюк, Дария Ефимовна Кучеренко
Keywords
Related Articles
- EP ID EP580170
- DOI -
- Views 108
- Downloads 0
АРХІТЕКТУРИ ТА МЕТОДИ КУБІТНОГО ЛОГІЧНОГО МОДЕЛЮВАННЯ КІБЕРСОЦІАЛЬНИХ ПРОЦЕСІВ
Пропонуються моделі, структури даних, архітектури та методи логічного аналізу соціальних процесів, пов'язаних з підвищенням якості життя, збереженням екології планети і усуненням соціальних колізій. Вводяться кубітні стр...
ИССЛЕДОВАНИЕ МЕТОДОВ МНОГОКРИТЕРИАЛЬНОЙ ОЦЕНКИ УПРАВЛЕНИЯ ДЕЯТЕЛЬНОСТЬЮ СОВРЕМЕННОГО ПРЕДПРИЯТИЯ
Исследуются методы теории оптимизации, ориенти- рованные на определение и идентификацию наилу- чших вариантов решения, не прибегая к проверке всех возможных решений путем реализации их на практи- ке, а также методы много...
Модифицированная архитектура Wi-Fi Offload
Описывается технология нового поколения Wi-Fi Offload, c помощью которой возможна реализация выгрузки трафика сотовой сети в сеть Wi-Fi, что позволит разгрузить сотовую сеть от потока трафика данных. Предлагается модифиц...
Синтез кубитных покрытий для цифровых систем
Описываются квантовые компьютеры, которые могут решать проблемы, трудно разрешимые даже для са-мых мощных современных суперкомпьютеров. Они имеют потенциал для решения проблем в области материаловедения, химии и математи...
Parameter Identification of Competitive Diffusion of Nanoporous Particles Media Using Gradient Method and the Heviside’s Operational Method
The identification of competitive diffusion parameters in heterogeneous nanoporous materials is analyzed. Solutions to the direct and inverse problems are basing on the Heaviside’s operational method and gradient method...