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