Устройство для формирования множеств Советский патент 1991 года по МПК G06F17/10 G06F17/50 

Изобретение относится к вычислительной технике, предназначено для формирования множеств рабочих и запрещенных кодов булевых функций автоматов, заданных таблицами переходов-выходов, что необходимо при проектировании цифровых схем, и может быть использовано в САПР.

Целью изобретения является повышение быстродействия и расширение функциональных возможностей.

На фиг. 1 изображена функциональная схема предлагаемого устройства для формирования множеств; на фиг. 2 - функциональная схема блока формирования множеств; на фиг. 3 - временная диаграмма работы устройства в режиме настройки; на фиг. 4 - временная диаграмма работы устройства в режиме формирования множеств.

Устройство для формирования множеств содержит блок 1 оперативной памяти, содержащий первую и вторую группы 1.1 и 1.2 выходов и управляющий выход 1.3, два счетчика 2 и 3, элемент И 4, три элемента

ИЛИ 5, 6 и 7, четыре группы элементов И 8.1-8.т; 9.1-9.т; 10.1-Ю.т; 11.1-11.т, две схемы 12 и 13 сравнения, генератор 14, два триггера 15 и 16. группу блоков формирования множеств для функции переходов 17.1- 17.т, содержащих входы записи 17.1 1; 17.1.2; 17.1.3-17.т.1; 17.т.2: 17.т.3, группу блоков формирования множеств для функций выходов 18.1-18.т, содержащих входы записи 18.1.1; 18.1.2; 18.1.3-18.т.1; 18.т.2; 18.т.3, мультиплексор 19, информационные входы 20, содержащие подгруппы 20.1 и 20.2, управляющий вход признака непустой клетки таблицы переходов-выходов 21, входы кода столбца таблицы переходов-выходов 22, управляющий вход подготовки к записи 23, вход записи 24, вхф, сброса 25, вход кода количества столбцов 26, вход хода количества строк 27, вход пуска 28, группа выходов множества рабочих кодов функций переходов 29.1-29.т, группа выходов множества запрещенных кодов функций переходов 30.1-30.т1 группа выходов множества

О

ы

рабочих кодов функций выходов 31.1-31.т; группа выходов множества запрещенных кодов выходов 32.1-32.т; группа выходов наличия-рабочих кодов функций переходов 33.1-33.т; группа выходов наличия запрещенных кодов функций переходов 34.1- 34.т; группа выходов наличия рабочих кодов функций выходов 35.1-35.т; группа выходов наличия запрещенных кодов функций выходов 36.1-36.т; группа входов чтения рабочих кодов функций переходов 37.1-37.rn; группа входов чтения запрещенных кодов функций переходов 38.1-38.т; группа входов чтения рабочих кодов функций выходов 39.1-39.т; группа входов чтения запрещающих кодов функций выходов 40.1-40.rn; выход управления 41; каждый из блоков 17.1-17.т; 18.1-18.т содержит два узла накопления информации 42 и 43, два счетчика 44 и 45, два элемента ИЛИ 46 и 47.

Блок 1 оперативной памяти предназначен для записи при настройке информации, кодирующей таблицу переходов-выходов исследуемого автомата, хранения этой информации и выдачи ее на элемент И 4 и четыре группы элементов Л 8.1-8.т, 9.1-9.т, 10.1-Ю.ти 11.1-11.т.

Первый счетчик 2 предназначен для адресами строк таблицы переходов-выходов -первой группы адресных входов оперативной памяти 1 через мультиплексор 19 в процессе реализации новой дисциплины.

Второй счетчик 3 предназначен для адресации столбцов таблицы переходов-выходов - второй группы адресных входов оперативной памяти 1, управления второй схемой сравнения 13 и выдачи информации в блоки формирования множеств 17.1-17.m и 18.1-18.m в процессе вычислений.

Элемент И 4 предназначен для управления группами элементов И 8г1.8.т, 9.1-9.т, 10.1-10.т, 11.1-11.т по импульсам генератора 14, если активирован выход 1.3 оперативной памяти 1.

Первый элемент ИЛИ 5 предназначен для обнуления первого счетчика 2 и первого триггера 15 по сигналу сброса 25, либо по сигналу первой схемы сравнения 12.

Второй элемент ИЛИ б предназначен для управления счетным входом второго счетчика 3, либо импульсами генератора 14, либо импульсами записи 24.

Третий элемент ИЛИ 7 предназначен для обнуления второго счетчика 3 либо сигналом сброса 25, либо сигналом с выхода второй схемы сравнения 13.

Первая группа элементов И 8.1-8.т предназначена для управления первыми входами записи 17,1.1-17.т.1 блоков формирования множеств 17.1-17.ro по импульсу

на выходе элемента И 4, если соотвествую- щий разряд выходов 1.1 оперативной памяти 1 равен единице (формирование рабочих кодов функций переходов).

Вторая группа элементов И 9.1-Э.тпредназначена для управления вторыми входами записи 17.1.2-17.т.2 блоков формирования множеств 17.1-17.m по импульсу на выходе элемента И 4, если соотвесттвую0 щий разряд выходов 1.1 оперативной памяти 1 равен нулю (формирование запрещенных кодов функций переходов.

Третья группа элементов И 10.1-10.rn предназначена для управления первыми

5 входами записи 18.1.1-18.m 1 блоков формирования множеств 18.1-18.m по импульсу на выходе элемента И 4, если соответствующий разряд выходов 1 2 оперативной памяти 1 равен единице (формирование рабочих

0 кодов функций выходов).

Четвертая группа элементов И 11.1- 11 .т предназначена для управления вторыми входами записи 18.1.2-18.т.2 блоков формирования множеств 18,1-18.m по им5 пульсу на выходе элемента И 4, если соответствующий разряд выходов 1.2 оперативной памяти 1 равен нулю (формирование запрещенных кодов функций выходов).

0 Первая схема сравнения 12 предназначена для формирования сигнала окончания формирования множеств при сравнении информации на выходе первого счетчика 2 с информацией на выходах 26 для обнуления

5 счетчика 2, триггера 15 и установки триггера 16.

Вторая схема сравнения 13 предназначена для формирования сигнала окончания просмотра очередного столбца таблицы пе0 реходов-выходов при сравнении информации на выходе второго счетчика 3 с информацией на входах 27 для обнуления второго счетчика 3 и увеличения содержимого счетчика 2,

5 Генератор 14 предназначен для управления устройством в режиме формирования множеств - элементом И 4 и элементом ИЛИ 8.

Генератор 14 может быть реализован,

0 например, на трех инверторах, резисторе, конденсаторе.

Первый триггер 15 предназначен для включения генератора по импульсу запуска и отключения его по окончании формирова5 ния множеств. Информационный вход триггера 15 постоянно активирован.

Второй триггер 16 предназначен для формирования сигнала окончания вычислений после срабатывания первой схемы сравнения 12.

Группа блоков формирования множеств для функций переходов 17.1-17.m предназначена для формирования множеств рабочих и запрещенных кодов функций переходов, которые при настройке записы- ваются по входам 20,1 оперативной памяти 1 и считываются на ее выходах 1.1.

Группа блоков формирования множеств для функций выходов 18.1-18.m предназначена для формирования множеств рабочих и запрещенных кодов функций выходов, которые при настройке записываются по входам 1.2 оперативной памяти 1.

Мультиплексор 19 предназначен для подключения к первой группе адресных входов оперативной памяти 1 либо входов 22 при настройке, либо выходов первого счетчика 2 по сигналу 23.

Информационные входы 20(20.1 и 20.2) предназначены для приема информации, кодирующей значения функций переходов и выходов соответственно в данной записываемой при настройке клетке таблицы переходов-выходов.

Вход признака непустой клетки табли- цы переходов-выходов 21 предназначен для приема единичного сигнала, помещающего задействованную клетку таблицы переходов-выходов, записываемой при настройке.

Если клетка не используется, то на вхо- де21 перед записью устанавливается ноль.

Входы кода столбца таблицы переходов-выходов 22 предназначены для приема кода столбца, записываемого при настройке устройства, например, вручную.

Управляющий вход подготовки к записи 23 предназначен для приема сигнала подготовки к записи - единичного сигнала, переключающего мультиплексор на передачу информации с входов 22.

Вход для импульса записи 24 предназначен для приема импульса записи при настройке устройства. Этот импульс может формироваться, например, вручную с помощью кнопки с антидребезговым устрой- ством.

Вход сброса 25 предназначен для приема предварительного импульса сброса после включения питания.

Вход кода количества столбцов 26 предназначен для приема кода количества столбцов обрабатываемой таблицы переходов-выходов, формируемого, например, переключателями.

Вход кода количества строк 27 предназначен для приема кода количества строк обрабатываемой таблицы переходов-зыхо- дов, формируемого, например, переключателями (тумблерами).

Вход пуска 28 предназначен для приема импульса пуска для инициации режима формирования множеств.

Группы выходов множества рабочих кодов функций переходов 29.1-29.т, множества запрещенных кодов функций переходов 30.1-30.rn, множества рабочих кодов функций выходов 31.1-31.т, множества запрещенных кодов функций выходов 32.1-32.rn предназначены для выдачи соответствующих кодов по окончании вычислений,

Группы выходов наличия рабочих кодов функций переходов 33.1-33.т, запрещенных кодов функций выходов34.1-34.т, рабочих кодов функций 35.1-35.т, запрещенных кодов функций выходов 36.1-36.т предназначены для формирования единичного сигнала наличия соответствующих кодов.

Группы входов чтения рабочих кодов функций переходов 37,1-37.т, запрещенных кодов функций переходов 38.1-38.т, рабочих кодов функций выходов 39.1-39.т, запрещенных кодов функций выходов 40.1- 40.т предназначены для приема сигналов чтения соответствующих кодов после окончания вычислений.

Выход 41 управления предназначен для формирования сигнала окончания вычислений, разрешающего считывание множеств.

В каждом из блоков групп 17.1-17.т, 18.1-18.т первый узел 42 накопления информации предназначен для записи разрешенных кодов (конкатенции информации на первом и втором адресных входах оперативной памяти 1) функций переходов по переднему фронту сигнала на первом входе записи блока формирования множеств.

Второй узел 43 накопления информации предназначен для записи запрещенных кодов функций переходов по переднему фронту сигнала на втором входе блока формирования множеств.

Первый счетчик блока формирования множеств 44 предназначен для формирования адреса очередного рабочего кода при записи (по заднему фронту сигнала на первом входе записи)и при чтении (по заднему фронту сигнала на первом входе чтения блока формирования множеств).

Второй счетчик блока формирования множеств 45 предназначен для формирования адреса очередного запрещенного кода при записи (по заднему фронту сигнала на втором входе записи блока) и при чтении (по заднему фронту сигнала на втором входе чтения блока формирования множеств).

Первый элемент ИЛИ 46 блока формирования множеств предназначен для формирования сигнала наличия рабочих кодов на соответствующий выход блока при наличип на выходах счетчика 44 хотя бы одной единицы.

Второй элемент ИЛИ 47 блока формирования-множеств предназначен для формирования сигнала наличия запрещенных кодов на соответствующий выход блока формирования множеств при наличии на выходах счетчика 45 хотя бы одной единицы.

Устройство для формирования множеств работает следующим образом.

В режиме настройки (фиг. 1 и 3) устройство обнуляется по входу 25, затем на входе 23 устанавливается логическая единица. Тогда на группу адресных входов блока оперативной памяти 1 через мультиплексор 19 подается информация с входов 22, на которых устанавливается двоичный код столбца № 1 таблицы переходов-выходов. На группе входов 20.1 устанавливается код последующего состояния автомата. На группе входов 20.2 устанавливается код состояний выходов, а на входе 21 - логическая единица, означающая, что данная записываемая клетка таблицы переходов-выходов, непустая. Затем на вход 24 подается импульс записи, по переднему фронту которого информация с входов 20 и 21 записывается в первую ячейку блока 1, т.е. записывается -содержимое первой клетки таблицы переходов-выходов. По заднему фронту импульса записи на входе 24 через элемент ИЛИ 6 изменяется состояние счетчика 3, который адресует следующую ячейку памяти -следующую строку таблицы переходов-выходов (столбец, код которого установлен на входах 22, тот же самый). На входах 27 при настройке должен быть установлен двоичный код, больший на единицу количества строк таблицы переходов-выходов. После записи информации в последнюю ячейку памяти - последнюю строку данного столбца производится обнуление счетчика 3 по входу 25 через элемент ИЛИ 7, На входах 22 устанавливается код следующего столбца и аналогично вышеописанному записывается информация второго столбца таблицы переходов-выходов. Таким же образом записывается вся таблица в блок 1. В ячейках памяти, соответствующих пустым (не используемым клеткам или столбцам) таблицы переходов-выходов записывается О по входу 21.

В заключении настройки снимается логическая единица с входа 23 и устройство обнуляется по входу 25.

В блоке 1 памяти записана информация о таблице переходов-вы ходов конечного последовательного автомата, множества рабочих и запрещенных кодов функций

переходов и выходов которых необходимо сформировать.

На входах 26 устройства может устанавливаться код, на единицу больший количества столбцов таблицы переходов-выходов. На входах 27 устройства устанавливается код, на единицу больший количества строк таблицы переходов-выходов.

В режиме формирования множеств ра0 бочих и запрещенных кодов функций переходов и выходов на вход 28 пуска подается импульс (фиг. 1 и 4), устанавливающий в единичное состояние триггер 15, так как его информационный вход подключен через ог5 раничительный резистор к положительной шине источника питания и постоянно активирован, В связи с этим начинает работу генератор 14 и формирует первый импульс, по переднему фронту которого на группах

0 элементов И 8.1-8.т, 9.1-9.т, 10.1-Ю.т и v 11.1-11.т тестируется значение логических функций, записанных в нулевой ячейке блока 1 и поступающих на выходы 1.1, 1.2, если соответствующая клетка таблицы перехо- (

5 дов-выходов не пустая (отмечена 1, т.е. активирован выход 1.3 блока 1), через элемент И 4. Если i-я функция переходов в данной клетке равна 1, то на выходе i-ro элемента И группы 8,1-8,т формируется им0 пульс, по переднему фронту которого состояние адресных входов блока 1 (выходные сигналы счетчика 2 через мультиплексор 19 и выходные сигналы счетчика 3), поступающих на входы 17.1.3 соответствующего 1-го

5 блока группы 17.1-17.т, записывается в этот блок. Импульс записи поступает на вход блока 17,1.1,

Если 1-я функция переходов равна О, то аналогично активируется выход 1-го эле0 мента И группы 9.1-9.т и запись в блок 17.1 происходит по входу 17.1.2.

Если i-я функция выходов равна Г, то активируется выход 1-го элемента И группы 10.1-10.т, производится запись адреса

5 ячейки в блок1 В.1 с входов 18.1.3 по переднему фронту на входе 18,1.1.

Если i-я функция выходов равна О, то активируется выход 1-го элемента И группы 11.1-11.т и запись в блок 18.1 производится

0 по переднему фронту импульса на входе 18.1.2.

По заднему фронту импульса, вырабатываемого генератором 14, через элемент ИЛИ 6 изменяется состояние счетчика 3 и он

5 адресует следующую строку таблицы переходов-выходов - следующую ячейку памяти (состояние выходов счетчика 2 неизменно, он адресует первый столбец). На фиг. 4 показано, что после первого импульса состояние входов 17.1.3, 18.1.3 блоков 17.1, 18.1

групп 17.1-17.m, 18.1-18.m описывается конкатенацией информации на выходах счетчиков 2иЗ-0111,апо переднему фронту следующего импульса генератора 14 происходит запись по входу 17.1.2 в блок 17.1 (функция переходов во второй строке данного столбца 0) и по входу 13.1.1 в блок 18,1 (функция выходов вЪ второй строке данного столбца 1). По заднему фронту импульса изменяется состояние счетчика 3 и он адресует следующую - третью строку данного столбца (характеризуется нулевым состоянием счетчика 2). При этом в этой ячейке выход 1.3 блока 1 не возбуждается (ячейка - клетка, таблицы переходов-выходов не используется), поэтому запись не происходит ни в один из блоков групп 17.1- 17.т, 18.1-18.т. По окончании просмотра очередного столбца задним фронтом импульса чтения на выходе счетчика 3 устанавливается состояние, совпадающее с кодом, установленным на входах 27, поэтому активируется выход схемы сравнения 13, через элемент ИЛИ 7 обнуляется счетчик 3, изменяется состояние счетчика 2, который адресует очередной столбец. В дальнейшем устройство работает аналогично до тех пор, пока после просмотра очередного столбца не изменится состояние счетчика 2 и на его выходе не установится код, соответствующий коду, установленному на входах 26, т.е. окажется, что все столбцы также просмотрены. Поэтому активируется выход схемы сравнения 12, через элемент ИЛИ 5 обнуляется счетчик 2 (счетчик 3 уже обнулен импульсом с выхода схемы сравнения 13), обнуляется-триггер 15 по входу сброса и устанавливается триггер 16 (он предварительно обнулен по входу 25). Поэтому на выходе 41 устанавливается логическая единица, сигнализирующая об окончании обработки множеств.

В блоках группы 17.1-17.m образованы множества рабочих кодов, если они имеются, при этом активируются выходы 33.1- 33.т, запрещенных кодов функций переходов, если они имеются, тогда активируются выходы 34.1-34.т. Эти коды могут быть считаны по выходам 29.1-29.m (рабочие), 30.1-30.m (запрещенные). После вычислений на этих выходах устанавливается информация из ячейки памяти, адрессован- ной последним импульсом чтения и не представляющей интереса. Подавая импульсы на входы 37.1-37.rn, можно считать эти коды (рабочие). Коды считываются до тех пор, пока по очередному импульсу считывания (по входам 37.1-37.т или 38.1-38.т) необнулят- ся соответствующие выходы 33.1-33.m (наличия рабочих кодов) или 34.1-34.rn (наличия

запрещенных кодов). Далее считывается информация из нулевой ячейки и чтение прекращается.

Аналогично рабочие коды функций выходов считываются из блоков 18.1-18.m по выходам 31.1-31.т, если в блоках активированы выходы наличия рабочих кодов 35.1- 35.т, подачей импульсов на- соответствующие входы 39.1-39.т.

Если имеются запрещенные коды, т.е. активированы некоторые выходы 36.1-36.т, то из соответствующих блоков по выходам 32.1-32.m считываются запрещенные коды импульсами по входам 40.1-40.т.

После считывания рабочих и запрещенных кодов производится обнуление устройства по входу 25, вновь производится настройка в соответствии с новой таблицей переходов-выходов и формирование новых

множеств аналогично вышеописанному.

Каждый из блоков групп 17.1-17,т, 18.1- 18.т работает идентично (фиг. 2). Рассмотрим работу i-ro блока 17.i (или блока 18.1). На входы 17.1.3 блока поступает код адреса очередной ячейки памяти (код клетки таблицы переходов-выходов), который подключен к информационным входам узлов 42 и 43. Входы разрешения этих блоков постоянно активированы,так как они инверсны и

подключены к отрицательной шине источника питания.

При поступлении импульса записи рабочего кода на вход 17.1.1 его передним фронтом происходит запись кода адреса в

узел 42 (счетчики 44 и 45 предварительно обнулены по входу 25) по нулевому адресу. Задним фронтом этого импульса изменяется состояние счетчика 44, который подготавливает запись в очередную ячейку блока

накопителя информации 42. При формировании хотя бы одного рабочего кода на выходе элемента ИЛИ 46 и на выходе 33.1 устанавливается логическая единица.

Аналогично происходитзапись в узел 43

адресов ячеек памяти, соответствующих запрещенным кодам. При этом импульсы поступают по входу 17.i.2 и изменяется состояние счетчика 45 по их задним фронтам. При наличии хотя бы одного запрещенного кода на выходе элемента ИЛИ 47 и на выходе 34.i устанавливается логическая единица.

Чтение рабочих кодов осуществляется с выходов 29.i, т.е. с информационных выходов блока накопления информации 42, причем импульсы чтения подаются с входа 37,i на вход реверса счетчика 44 до тех пор, пока он не обнулится и на выходе 33.1 не установится логический ноль. Далее считывается

информация из нулевой ячейки и чтение заканчивается.

Аналогично осуществляется чтение запрещенных кодов с выходов 30.I, т.е. с информационных выходов узла 43, импульсы чтения подаются с входа 38.1 на вход реверса счетчика 45 до тех пор, пока он не обну- лится и на выходе 34.i не установится логический ноль.

После завершения формирования множеств на выходах 29.1, 30.1 установлена незначащая информация из ячейки памяти, адрессованной последним импульсом записи. Поэтому информация о последнем записанном коде на выходах 29.1, 30.1 устанавливается после первого импульса чтения.

Таким образом, запись информации во внешнее устройство может производиться стробами, формируемыми в промежутках между импульсами чтения, причем послед- формируется после импульса чтения, обнуляющего блоки 44 и 45, и на этом чтение из данного узла 42 или 43 заканчивается.

Рассмотрим пример конкретной реализации предлагаемого устройства. Допустим, необходимо определить множества рабочих и запрещенных кодов для функций -Y2(t + 1), Yi(t + 1), Zi, Za, описывающих последовательный автомат в соответствии с табл. 1 переходов-выходов.

Здесь А, В - входы автомата, Y2(t), Yi(t)- текущее состояние автомата.

В режиме настройки текущее состояние автомата, описываемое переменным Y2(t), Yi(t), сопоставляются с адресными входами, например, 34, аз оперативной памяти 1 (группа адресных входов А1) (фиг. 1), переменные А, В сопоставляются с входами, например, 32, ai оперативной памяти 1 (группа адресных входов А2).

Подгруппа информационных входов

20.1сопоставляется с; переменными Y2(t+1), Yi(t + 1). Обозначим эти разряды входов D4, Оз.

Подгруппа информационных входов

20.2сопоставляется с переменными Zi, 22. Обозначим эти разряды входов D2, DI. На вход 21 будем подавать логическую единицу при записи информации об используемых клетках табл. 1 и логический ноль при записи информации о неиспользуемом (условном) состоянии автомата. Обозначим этот разряд Do. Для записи инфомации в блок 1 после обнуления по входу 25 на вход 23 подается логическая единица. Информация о переменных А, В подается на входы 22.

В начале в блок 1 записывается информация о первом столбце (00) табл. 1. Затем

по входу 25 обнуляется счетчик 3, емкость которого может быть больше количества строк табл. 1. Затем на входы 22 подается код следующего столбца и т.д. Можно установить код количества строк4 на входах 27 и счетчик 3 будет обнуляться автоматически. После настройки в блоке 1 оказывается записанной информация, представленная табл. 2.

0 Знаки означают, что информация по входам D4-Di в соответствующих ячейках может быть любая, главное, что D0 0 (клетка неиспользуемая).

Формирование множеств рабочих и за5 прещенных кодов происходит следующим образом.

Предварительно подачей импульса на вход 25 (фиг. 1) в исходное состояние устанавливаются все элементы памяти. На вход

0 23 мультиплексора 19 (фиг. 1) подается логический ноль, вызывающий подключение выходов счетчика 2 к входам А1 блока 1 (фиг. 2).

Затем подается импульс пуска на вход

5 28 (фиг. 1), после чего триггер 15 устанавливается в единичное положение, вызывая тем самым генерацию генератора импульсов 14. Рассмотрим процесс формирования множеств рабочих и запрещенных кодов на

0 примере функции.

После обнуления всех элементов памяти из блока 1 считывается информация ячейки с нулевым адресом.

С приходом первого импульса генерато5 р а 14 возбуждается выход элемента И 4, так как с выхода 1.3 поступает логическая единица, записанная по входу 21 (см. первую строку табл. 2). Это вызывает подготовку к открытию элементов И групп 8.1,..., 8.т

0 11.111.т. Возбуждается элемент И 9.1

(фиг. 1), так как значение Y2(t +1) 0. Появление импульса на выходе этого элемента вызывает возбуждение входа WR узла 43 (фиг. 2), вследствие чего происходит запись

5 данных с входа 17.1.3 по нулевому адресу. С появлением заднего фронта импульса происходит увеличение содержимого счетчика 45 (фиг. 2и 1), что вызывает подготовку к записи очередного запрещенного кода по

0 следующему адресу.

С приходом второго импульса с генератора 14 записи кодов в узлы 42 и 43 (фиг, 2) не происходит, так как значение выхода 1.3 равно нулю (вторая строка табл. 2). А с при5 ходом третьего импульса происходит запись очередного запрещенного кода в узел 43 (фиг.2) описанным ранее образом (строка 3, табл. 2).

Схема работает иным образом с прихо- дом седьмого импульса генератора импульсов 14. В этом случае последовательно возбуждаются выходы 1.3 блока 1 элемента И 8.1 (фиг. 1), вход WR блока 42 (фиг. 2). Так записывается первый рабочий код в блок 42 (фиг. 2). По заднему фронту седьмого им- пульса, происходит увеличение на единицу счетчика 44. Периодическое обнуление счетчика 3 вызывается возбуждении выхода схемы сравнения 13 как было описано выше.

После того, как будут опрошены все ячейки блока 1 (фиг. 1), содержащие информацию, произойдет сброс триггера 15 в исходное состояние, что вызовет окончание процесса формирования рабочих и запрещенных кодов. .

Рабочие и запрещенные коды для функций Y2(t+1), Yi(t+1), Zi,Z2, сформированные в блоках 17.1, 17,2, 18.1, 18.2, описаны в табл. 3-10.

Формулаизобретения

1. Устройство для формирования множеств, содержащее блок оперативной памяти, первый и второй счетчики, первый элемент И, первый элемент ИЛИ, первую и вторую группы элементов И, первую и вто- рую схемы сравнения, мультиплексор, первый и второй триггеры, генератор импульсов, выходы первого счетчика подключены к входам первой группы первой схемы сравнения, отличающееся тем, что, с целью повышения быстродействия и расширения функциональных возможностей путем введения дисциплины обработки множеств, заданных таблицами переходов-выходов, в него введены третья и четвертая группы эле- ментов И, второй и третий элементы ИЛИ, группа блоков формирования множеств для функций переходов, группа блоков формирования множеств для функций выходов, первая группа входов мультиплексора явля- ется входами кода столбца таблицы переходов-выходов устройства, входы второй группы мультиплексора подключены к выходам первого счетчика, а вход управления мультиплексора является входом подготов- ки к записи устройства, выходы группы выходов мультиплексора подключены к адресным входам первой группы блока оперативной памяти и к вторым группам разрядов информационных входов групп блоков формирования множеств для функций переходов и функций выходов, первые группы разрядов информационных входов которых подключены к группе выходов второго счетчика, второй группе входов второй схемы сравнений и второй группе адресных входов блока оперативной памяти, первая и вторая группы информационных выходов группы блоков формирования множеств для функций переходов являются соответственно группой выходов множества рабочих кодов функций переходов устройства и группой выходов множества запрещенных кодов функций переходов устройства, первая и вторая группы информационных выходов группы блоков формирования множеств для функций выходов являются группами выходов множества рабочих кодов и запрещенных кодов функций выходов устройства соответственно, входы сброса групп блоков формирования множеств для функций переходов и выходов, первый вход первого элемента ИЛИ, первый вход третьего элемента ИЛИ, вход сброса второго триггера являются входом сброса устройства, первые входы чтения групп блоков формирования множеств для функций переходов и функций выходов являются группами входов чтения рабочих кодов функций переходов и функций выходов соответственно, вторые входы являются группами входов чтения запрещенных кодов функций переходов и функций выходов соответственно, первые выходы управления являются группами выходов наличия рабочих кодов функций переходов и функций выходов соответственно, вторые выходы управления являются группами выходов наличия запрещенных кодов функций переходов и функций выходов соответственно, первые входы записи подключены к выходам элементов И первой группы и элементов И третьей группы соответственно, вторые входы записи подключены к выходам элементов И второй группы и элементов И четвертой группы соответственно, вторые входы элементов И первой группы и вторые инверсные входы элементов И второй группы подключены к соответствующим разрядам первой группы выходов блока оперативной памяти, первые входы элементов И первой, второй, третьей и четвертой групп подключены к выходу первого элемента И, вторые входы элементов И третьей группы и вторые инверсные входы элементов И четвертой группы подключены к соответствующим разрядам второй группы выходов блока оперативной памяти, управляющий выход которого подключен к первому входу элемента И, пторой вход которого подключен к выходу генератора импульсов и второму входу второго элемента ИЛИ, первый вход которого подключен к входу записи блока оперативной памяти и является входом записи устройства, вход генератора импульсов подключен к выходу первого триггера, вход сброса которого подключен к выходу первого элемента ИЛИ и входу сброса первого счетчика, вход синхронизации первого триггера является входом пуска устройства, информационный

вход первого триггера подключен к положительной шине источника питания через ограничительный резистор, первая группа входов второй схемы сравнения является входом кода количества строк устройства, выход второй схемы сравнения подключен к второму входу третьего элемента ИЛИ и счетному входу первого датчика, выход первой схемы сравнения подключен к второму входу первого элемента ИЛИ и входу уста- новки второго триггера, выход которого является выходом управления устройства, первая и вторая группы информационных входов блока оперативной памяти являются первой и второй подгруппами информаци- онных входов устройства соответственно, отдельный разряд информационных входов блока оперативной памяти является управляющим входом признака непустой клетки таблицы переходов-выходов устройства, инверсный вход разрешения выборки блока оперативной памяти подключен к отрицательной шине источника питания, выходы второго и третьего элементов ИЛИ подключены соответственно к счетному входу и вхо- ду сброса второго триггера, второй вход первой схемы сравнения является входом кода количества столбцов устройства.

- 2. Устройство по п. 1,отличающе- е с я тем, что каждый из блоков групп блоков формирования множеств для функций

переходов и выходов содержит первый и второй узлы накопления информации, первый и второй счетчики, первый и второй элементы ИЛИ, входы сброса счетчиков являются входом сброса блока, информационные входы первого узла накопления информации соединены с информационными входами второго узла накопления информации и являются информационными входами блока, инверсные входы разрешения выборки первого и второго узлов накопления информации подключены к входу логического нуля устройства, счетные входы первого и второго счетчиков подключены к входам записи первого и второго узлов накопления информации и являются первым и вторым входами записи блока множеств соответственно, входы реверса первого и второго счетчиков являются первым и вторым входами чтения блока соответственно, выходы первого счетчика подключены к входам адреса первого узла накопления информации и входам первого элемента ИЛИ, выходы второго счетчика подключены к входам адреса второго узла накопления информации и входам второго элемента ИЛИ, выходы первого и второго элементов ИЛИ являются выходами наличия рабочих и запрещенных кодов блока соответственно, выходы первого и второго узлов накопления информации являются выходами рабочих и запрещенных кодов блока.

Таблица 1

Изобретение относится к вычислительной технике и может быть использовано для определения рабочих и запрещенных кодов булевых функций, заданных таблицами переходов-выходов. Целью изобретения является повышение быстродействия и расширение области применения за счет введения новой дисциплины обработки множеств, заданных таблицами переходов-выходов. Устройство содержит блок оперативной памяти, два счетчика, элемент И, три элемента ИЛИ, четыре группы элементов И, две схемы сравнения, генератор, два триггера, группу блоков формирования множеств для функции выходов. 1 з.п. ф-лы, 4 ил. 10 табл.

Таблица 2

Таблица 3

Массив рабочих кодов Y2(t+1)

(блок 17.1)

42

Таблица4

ТаблицаБ

Массив рабочих кодов Yi(t+1) (блок 17.2, 42)

Продолжение табл.2.

Таблицаб

Массив запрещенных кодов Yi(t+1) (блок 17.2, 43)

15

Таблица 7

Массив рабочих кодов Zi (блок 18.1.42)

Массив запрещенных кодов Zi (блок 18.1,43)

30

Таблица 9

Массив рабочих кодов 2г (блок 18.2, 42)

тг п

Пус

шз

& -Л Jfc/- 1

Л.Г

fylfan

K«fWK|

яиу./

ва -Р зн вг

5

IT IT

Ј9.m#m31.1 tt.1

Фиг.1

Таблица 10

Массив запрещенных кодов 22 (блок 18.2, 43)

11

1lmi fl.«

S.f/ .wJ|

5,

«и/Л/

CT2

at те

2S,

И

:f «в

.

2««т

W2

W 2,

«.«г

ГГ

. 3

О

9(t«kiЈy(t«Hg X

v

zCtJf.f Aztthe A

TrO( r

n +& ),.-о

0//ФХ 0 X

(f). f

П

Zr ./ 0

X 0 X #ffS

Фиг. 4

A&(-t+f)t.f XM+ Jt.

)ij .

.f

П

///0 У ////

n

f/Ф