Функциональный преобразователь

Союз СоввтекикСоцналиетнчвеныкрвелублмн ОПИСАНИЕИЗОБРЕТЕНИЯК АВТОРСКОМУ СВИДЕТЕЛЬСТВУ и 957217(22) Заявлено 3 .2. 80 (2 )3228988/8-2 Йс присоединением заявки М -(53)М. Кл. 6 06 Г 5/3 3 Ъеудератеелкый комитет СССР вю делам изебретеккЯ и еткрытнЯ(7) Заявитель Харьковский ордена Ленина авиационный институт им. Н, Е. Жуковского Изобрете и вычис тся к автоматиехнике и предации ручных меких схем в бази ие отно тельной значено для механи тодов син а логиче ых системах про се и автом ектированиИзвестн иро аналитиче логически е методы преункций в калином Жегалобра нонн юл тивн ла в ручн Н) 1,",Недостатки аналитических методов ая трудоемкость и низкая зффексть, особенно для большого чисодных переменных, обусловленная ми операциями счета,иболее близким к предлагаемому тся функциональный преобразовасодержащий вход исходных данвыход результата, двоичный счет мультиплексор, преобразовательблок формирования результата м вход исходных данных соединен ормационными входами мультиплек выходы двоичного счетчика соединены с управляющими входами мультиплексора и с входами преобразователя кодов, выходы, преобразователя кодов соединены с информационными входами блока формирования результата, выход мультиплексора соединен с управляющим входом блока формирования результата, выход которого образует выход результата 2.Известное устройство имеет ограниченные функциональные возможности, так как не позволяет выбирать опти". ц мальный вариант представления логических функций в виде канонического многочлена.Цель изобретения - расширение класса решаемых задач за счет возможности воспроизведения различных вариантов представления логических функций в виде канонического многочлена.Поставленная цель достигается тем, что в функциональный преобразователь содержащий первый счетчик,мультиплексор, преобразователь двоичного кода в5 9572 один выход и предназначен для выбора соответствующего разряда из информационного двоичного кода на основании управляемого двоичного кода и выдачи его значения на выход мультиплексора.Преобразователь 5 двоичного кеда в код канонического многочлена со.; пВ - К держит и элементов НЕ и,г Сп эле" 16К=2 ментов И, входы которых соединены с выходами элементов НЕ, выходы эле.ментов И являются выходами преобразователя, входами которого являются 1 з входы элементов НЕ.Блок 6 формирования результата предназначен для хранения и сложения по модулю 2 промежуточных многочлеи и нов и содержит 2 -1 элементов Ии 2 щ триггеров, причем входы элементов И соединены с управляющим входом и соот ветствующими информационными входами.Блок 7 сумматоров по модулю два предназначен для инвертирования 23 сигналов, поступающих с выходов,. первого счетчика, в соответствии со значениями сигналов, поступающих с второго счетчика, Если обозначить сигналы первой группы входов а , вто-щ рой группы входов Ъ, то выходной сигнал описывается логической функциейи =ч О+1:);, 1=1, и.В основе работы устройства лежит тождественное преобразование вида НХХ,Х) Ь (Х, ХХ;,х) .40Обозначим Х; через, Х , тогда получаем Г(Х, Х Х. Хп). Это приведет к преобразованию исходной таблицы истинности и в общем случае к различному виду канонического многочлепа. Для и входных переменных суще.-вует 2" возможных инверсий входных переменных. Номера инвертируемых перзменных генерирует второй счетчик 8, Если сигнал на его выходах 000, то схема работает, как прототип.Устройство работает следующим об- . разом.Значение исходной функции на всех двоичных наборах (в порядке возрастаьия номеров) подается на вход. Счетчик 3 формирует последовательность двричных наборов. Эти наборы преобразуются в соответствии со значением 17 бвыходных сигналов счетчика 8 в новые наборы в блоке 7. Для каждого из них в преобразователе 5 определяется вид промежуточного многочлена, Если на рассматриваемом наборе исходная функция принимает значение "1" (сигнал на выходе мультиплексора 4 равен.1, то промежуточный многочлен записывается в блок 6 формирования результата, где производится его суммирование по модулю два с результатом предыдущего суммирования (в исходном состоянии содержимое триггеров 00О). По окончании 2" тактов на выходах блока 6, образующих выход 2, получаем результат преобразования.Этот процесс повторяется для различных значений выходных сигналов счетчика 8, полученные результаты сравниваются с целью выбора лучшего по заданным критериям. Например, критерий минимального числа букв соот-, ветствует минимальному числу интегральных микросхем при построении схемы по каноническому многочлену.Таким образом, применение предлагаемого устройства позволяет механизировать ручные методы синтеза логических структур и преобразования логических функций в канонический много- член, уменьшить трудоемкость преобразований,увеличить достоверность и надежность, автоматизировать процесс перебора вариантов.формула изобретенияфункциональный преобразователь, содержащий первый счетчик, мультиплексор, преобразователь двоичного кода в код канонического многочлена и блок формирования результата, информационный и управляющий входы которого соединены соответственно с выходами преобразователя двоичного кода в код канонического многочлена и мультиплексора, управляющий вход которого соединен с выходом разрядов первого счетчика, информационный вход мультиПлексора соединен с входом преобразователя, выход которого соединен с выходом блока формирования результата, о т л и ч а ю щ и й с я тем, что, с целью расширения класса решаемых задач за счет возможности воспроизведения различных вариантов представления логических функций в виде канонического многочлена, в не7 957217го введены блок сумматоров по моду- разователя двоичного кода в код канолю два, второй счетчик и генератор нического многочлена.импульсов, выход которого. соединен Источники информации, со счетным входом первого счетчика, принятые во внимание при экспертизе выход переполнения которого соединен1, Авсаркисян Г, С., Брайловссо счетным входом второго счетчика., кий Г. С. Представление логических выход разрядов которого соединен с функций в виде полиномов Жегалкина. первым входом блока сумматоров по"Автоматика и вычислительная технимодулю два, второй вход которого со- . ка", 1975, Ю 6, с. 6-10.единен с выходам разрядов первого 4 2. Авторское свидетельство СССР счетчика, выход блока сумматоров йо по заявке 11 2719920/18-21, модулю два соединен с входом преоб- кл. 6 06 Г 15/31, 1979 (прототип). оставитель А, Зоринехред С,Мигунова Коррект Редактор А. Моты кша Подписноекомитета СССи открытийская наб., д ж 731осударствелам изобреосква, Жаз 6600/38 но ВНИИП по