|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Формализация синтеза самосинхронных счетчиков
Ю. А. Степченков, Ю. Г. Дьяченко, Н. В. Морозов, Д. Ю. Степченков, Д. Ю. Дьяченко Федеральный исследовательский центр «Информатика и управление» Российской академии наук
Аннотация:
Самосинхронные (СС) схемы обладают высокой надежностью. Они гарантируют обнаружение и локализацию любых константных неисправностей и демонстрируют высокий уровень сбоеустойчивости. Однако проектирование СС-схем более трудоемко в сравнении с синхронными аналогами из-за необходимости построения дополнительной индикаторной подсхемы и соблюдения принципов функционирования схем, относящихся к классу СС-схем. Автоматическое преобразование исходной схемы, описанной аппаратно как синхронная схема, в СС-реализацию обеспечивается с помощью процедуры формализованной десинхронизации. Но при синтезе последовательностных СС-устройств, в том числе СС-счетчиков, формальная десинхронизация приводит к чрезмерной аппаратной избыточности и, как следствие, к их низкому быстродействию. Статья обосновывает подход к синтезу СС-счетчиков, базирующийся на формализации эвристических методов их построения и обеспечивающий гарантированное получение действительно СС-реализации, функционирующей в полном соответствии с исходным описанием и обладающей близкими к оптимальным потребительскими характеристиками.
Ключевые слова:
автоматизированный синтез, самосинхронная схема, счетчик, десинхронизация, предустановка, индикация.
Поступила в редакцию: 15.03.2024
Образец цитирования:
Ю. А. Степченков, Ю. Г. Дьяченко, Н. В. Морозов, Д. Ю. Степченков, Д. Ю. Дьяченко, “Формализация синтеза самосинхронных счетчиков”, Системы и средства информ., 34:2 (2024), 66–82
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ssi936 https://www.mathnet.ru/rus/ssi/v34/i2/p66
|
Статистика просмотров: |
Страница аннотации: | 91 | PDF полного текста: | 35 | Список литературы: | 24 |
|