Search academic texts

Information × Registration Number 0409U002423, Candidate dissertation Status к.т.н. Date 22-04-2009 popup.evolution o Title Multiprocessor models for solving large Boolean equations systems Author Kamenuka Eugene Alexandrovich, popup.head Hahanov Vladimir Ivanovich popup.opponent Дербунович Леонід Вікторович popup.opponent Хажмурадов Манап Ахмадович popup.opponent Іванов Дмитро Євгенійович Description Дисертація присвячена питанням значного підвищення швидкодії функціональної верифікації складних проектованих цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері, значно поступається за продуктивністю паралельним комп'ютерам або спеціалізованим апаратним рішенням. У роботі удосконалено модель сферичного мультипроцесора PRUS, імплементованого в кристал ASІС. Удосконалено модель і структуру секвенсора, як базового осередку PRUS. Отримано нову модель пристрою керування й систему команд, достатню для паралельного програмування й розв'язання булевих рівнянь на основі мультипроцесора PRUS. Одержала подальший розвиток модель процесу розподілу системи булевих рівнянь між секвенсорами PRUS. Удосконалено модель (System Desіgn Flow) спільного використання сучасних засобів проектування й мультипроцесора PRUS. Розроблено програмне й апаратне забезпечення мультипроцесора, проведено достовірну верифікацію тестування функціональних властивостей мультипроцесора на валідних прикладах систем булевих рівнянь, що мають промисловий і науковий інтерес, з метою оцінювання швидкодії та апаратних витрат на реалізацію проекту; виконано програмну реалізацію та тестування компілятора для перетворення HDL-опису системи булевих рівнянь у мову машинних кодів мультипроцесора PRUS. Registration Date 2009-04-22 popup.nrat_date 2020-04-04 Close