РОССИЙСКАЯ ФЕДЕРАЦИЯ ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ	RU 2016660206

Номер регистрации (свидетельства): 2016660206 Дата регистрации: 08.09.2016 Номер и дата поступления заявки: 2016614579 05.05.2016 Дата публикации: 20.10.2016

Авторы: Останин Сергей Александрович, Кириенко Ирина Евгеньевна, Николаева Екатерина Александровна (RU) Правообладатель: Федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский Томский государственный университет» Программа для ЭВМ создана по государственному контракту государственный заказчик: Российский научный фонд (RU)

Название программы для ЭВМ:
Программа синтеза самопроверяемых и отказоустойчивых последовательностных схем

Реферат:
Программа предназначена для синтеза самопроверяемых последовательностных схем для одиночных константных неисправностей на полюсах элементов схемы, приводящих к монотонному изменению выходов. Также в программе реализован синтез отказоустойчивых последовательностных схем, которые построены на базе самопроверяемой схемы. В программе реализованы различные способы кодирования внутренних и выходных состояний конечного автомата, описывающего поведение последовательностной схемы. А также метод структурного синтеза в базисе элементов НЕ-И и НЕ, обеспечивающий монотонное проявление неисправностей из заданного класса. На вход программы подается STG-описание последовательностной схемы в формате KISS2. После кодирования состояний и структурного синтеза строится самопроверяемая или отказоустойчивая последовательностная схема, которая может быть записана в формате BLIF.

Тип реализующей ЭВМ: ПК

Язык программирования: С#

Вид и версия операционной системы: Windows ХР

Объем программы для ЭВМ: 21 Кб