верифікація, верификация ; компіляція, компиляция, compiling, Kompilieren, compilation ; логічне моделювання, логическое моделирование, logic simulation ; мультипроцесори, мультипроцессоры ; мультипроцесорні моделі, мультипроцессорные модели ; паралельні обчислювальні системи, параллельные вычислительные системы ; системи булевих рівнянь, системы булевых уравнений ; тестування, тестирование, testing ; цифрові системи, цифровые системы, digital system ; VHDL, мова, язык

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

• УДК // Автомати
• УДК // Цифрові (або переважно цифрові) системи, машини, обладнання