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

  Завантажити