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

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Каменюка Євген Олександрович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"