Пошук академічних текстів

Інформація × Реєстраційний номер 0409U002423, Кандидатська дисертація На здобуття к.т.н. Дата захисту 22-04-2009 Статус Запланована Назва роботи Мультипроцесорні моделі рішення булевих рівнянь великої розмірності Здобувач Каменюка Євген Олександрович, Керівник Хаханов Володимир Іванович Опонент Дербунович Леонід Вікторович Опонент Хажмурадов Манап Ахмадович Опонент Іванов Дмитро Євгенійович Опис Дисертація присвячена питанням значного підвищення швидкодії функціональної верифікації складних проектованих цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері, значно поступається за продуктивністю паралельним комп'ютерам або спеціалізованим апаратним рішенням. У роботі удосконалено модель сферичного мультипроцесора PRUS, імплементованого в кристал ASІС. Удосконалено модель і структуру секвенсора, як базового осередку PRUS. Отримано нову модель пристрою керування й систему команд, достатню для паралельного програмування й розв'язання булевих рівнянь на основі мультипроцесора PRUS. Одержала подальший розвиток модель процесу розподілу системи булевих рівнянь між секвенсорами PRUS. Удосконалено модель (System Desіgn Flow) спільного використання сучасних засобів проектування й мультипроцесора PRUS. Розроблено програмне й апаратне забезпечення мультипроцесора, проведено достовірну верифікацію тестування функціональних властивостей мультипроцесора на валідних прикладах систем булевих рівнянь, що мають промисловий і науковий інтерес, з метою оцінювання швидкодії та апаратних витрат на реалізацію проекту; виконано програмну реалізацію та тестування компілятора для перетворення HDL-опису системи булевих рівнянь у мову машинних кодів мультипроцесора PRUS. Дата реєстрації 2009-04-22 Додано в НРАТ 2020-04-04 Закрити