RUS  ENG
Полная версия
ЖУРНАЛЫ // Системы и средства информатики // Архив

Системы и средства информ., 2011, том 21, выпуск 1, страницы 74–83 (Mi ssi235)

Эта публикация цитируется в 1 статье

Анализ на самосинхронность некоторых типов цифровых устройств

Ю. А. Степченков, Ю. Г. Дьяченко, Ю. В. Рождественский, Н. В. Морозов

Институт проблем информатики Российской академии наук

Аннотация: Представлен подход к проверке цифровой схемы на самосинхронность с использованием программных средств, реализующих событийный метод анализа. Показано, что стопроцентная тестовая полнота анализа на самосинхронность для регистров сдвига и памяти обеспечивается относительно простыми средствами. Предложена методика отладки схемы в процессе анализа на самосинхронность произвольной схемы. Обоснована необходимость иерархического подхода к анализу сложной схемы на самосинхронность.

Ключевые слова: самосинхронные схемы; анализ на самосинхронность; тестовая полнота анализа; замыкание; иерархический анализ.



© МИАН, 2024