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