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