Каменюка Є. О. Мультипроцесорні моделі рішення булевих рівнянь великої розмірності

Дисертація присвячена питанням значного підвищення швидкодії функціональної верифікації складних проектованих цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері, значно поступається за продуктивністю паралельним комп'ютерам або спеціалізованим апаратним рішенням. У роботі удосконалено модель сферичного мультипроцесора PRUS, імплементованого в кристал ASІС. Удосконалено модель і структуру секвенсора, як базового осередку PRUS. Отримано нову модель пристрою керування й систему команд, достатню для паралельного програмування й розв'язання булевих рівнянь на основі мультипроцесора PRUS. Одержала подальший розвиток модель процесу розподілу системи булевих рівнянь між секвенсорами PRUS. Удосконалено модель (System Desіgn Flow) спільного використання сучасних засобів проектування й мультипроцесора PRUS. Розроблено програмне й апаратне забезпечення мультипроцесора, проведено достовірну верифікацію тестування функціональних властивостей мультипроцесора на валідних прикладах систем булевих рівнянь, що мають промисловий і науковий інтерес, з метою оцінювання швидкодії та апаратних витрат на реалізацію проекту; виконано програмну реалізацію та тестування компілятора для перетворення HDL-опису системи булевих рівнянь у мову машинних кодів мультипроцесора PRUS.