Системы и средства информатики
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Системы и средства информ.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Системы и средства информатики, 2024, том 34, выпуск 2, страницы 66–82
DOI: https://doi.org/10.14357/08696527240205
(Mi ssi936)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Формализация синтеза самосинхронных счетчиков

Ю. А. Степченков, Ю. Г. Дьяченко, Н. В. Морозов, Д. Ю. Степченков, Д. Ю. Дьяченко

Федеральный исследовательский центр «Информатика и управление» Российской академии наук
Список литературы:
Аннотация: Самосинхронные (СС) схемы обладают высокой надежностью. Они гарантируют обнаружение и локализацию любых константных неисправностей и демонстрируют высокий уровень сбоеустойчивости. Однако проектирование СС-схем более трудоемко в сравнении с синхронными аналогами из-за необходимости построения дополнительной индикаторной подсхемы и соблюдения принципов функционирования схем, относящихся к классу СС-схем. Автоматическое преобразование исходной схемы, описанной аппаратно как синхронная схема, в СС-реализацию обеспечивается с помощью процедуры формализованной десинхронизации. Но при синтезе последовательностных СС-устройств, в том числе СС-счетчиков, формальная десинхронизация приводит к чрезмерной аппаратной избыточности и, как следствие, к их низкому быстродействию. Статья обосновывает подход к синтезу СС-счетчиков, базирующийся на формализации эвристических методов их построения и обеспечивающий гарантированное получение действительно СС-реализации, функционирующей в полном соответствии с исходным описанием и обладающей близкими к оптимальным потребительскими характеристиками.
Ключевые слова: автоматизированный синтез, самосинхронная схема, счетчик, десинхронизация, предустановка, индикация.
Поступила в редакцию: 15.03.2024
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: Ю. А. Степченков, Ю. Г. Дьяченко, Н. В. Морозов, Д. Ю. Степченков, Д. Ю. Дьяченко, “Формализация синтеза самосинхронных счетчиков”, Системы и средства информ., 34:2 (2024), 66–82
Цитирование в формате AMSBIB
\RBibitem{SteDiaMor24}
\by Ю.~А.~Степченков, Ю.~Г.~Дьяченко, Н.~В.~Морозов, Д.~Ю.~Степченков, Д.~Ю.~Дьяченко
\paper Формализация синтеза самосинхронных счетчиков
\jour Системы и средства информ.
\yr 2024
\vol 34
\issue 2
\pages 66--82
\mathnet{http://mi.mathnet.ru/ssi936}
\crossref{https://doi.org/10.14357/08696527240205}
\edn{https://elibrary.ru/KDIEOJ}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ssi936
  • https://www.mathnet.ru/rus/ssi/v34/i2/p66
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Системы и средства информатики
    Статистика просмотров:
    Страница аннотации:91
    PDF полного текста:35
    Список литературы:24
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025