РОССИЙСКАЯ ФЕДЕРАЦИЯ ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ Номер регистрации (свидетельства): 2016610571 Дата регистрации: 14.01.2016 Номер и дата поступления заявки: 2015661462 25.11.2015 Дата публикации: 20.02.2016 Авторы: Матросова Анжела Юрьевна, Томков Владислав Владимирович Правообладатель: Федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский Томский государственный университет» Название программы для ЭВМ: Программа нахождения вероятностей управляемости и наблюдаемости полюсов комбинационных схем Реферат: Программа предназначена для нахождения значений вероятности управляемости и наблюдаемости полюсов схемы, с целью обнаружения труднотестируемых неисправностей. На вход программы подается описание логической комбинационной схемы в виде одного файла в формате BLIF (Berkley Logic Interchange Format). На выходе программы получаем значения вероятности управляемости и наблюдаемости полюсов элементов схемы и общие характеристики схемы: минимальные и максимальные вероятности управляемости и наблюдаемости; количество элементов, у которых значения вероятностей меньше заданных. Тип реализующей ЭВМ: IBM PC-совмест. ПК Язык программирования: С++ Вид и версия операционной системы: Windows, Linux Объем программы для ЭВМ: 28.2 Кб