Блок унификации с последовательным сопоставлением термов

Седов Дмитрий Владимирович
14 сентября 2018
229
Предметная область
Отрасли по ОКВЭД
Страна, регион, город Российская Федерация, Кировская область, Киров
Отличия от конкурентов
Вид документа об охране ИС полезная модель
Номер документа ИС 158945
Дата регистрации документа ИС 2016-01-20
Необходимые инвестиции для внедрения договорная
Сроки внедрения
Стоимость предоставления технологии договорная
Наличие экспертного заключения Нет

Польза для потенциального потребителя

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