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

Реєстраційний номер

0407U004846, Кандидатська дисертація

На здобуття

к.т.н., 05.13.13, Обчислювальні машини, системи та мережі

Дата захисту

25-10-2007

Статус

Запланована

Назва роботи

Моделі та методи апаратного моделювання цифровиз систем на кристалах

Здобувач

Уаді Гарібі,

Керівник Хаханов Володимир Іванович
Опонент Хажмурадов Манап Ахмадович
Опонент Леонов Сергій Юрійович

Опис

Мета дисертаційного дослідження - суттєве (у x10, x100, x1000 разів) підвищення швидкодії синхронного моделювання та часової верифікації обчислювальних систем на кристалах шляхом використання багатозначних апаратних моделей компонентів, що дозволяють розширити функціональні можливості засобів логічного hardware-аналізу в цілях ідентифікації перехідних процесів та визначення змагань на ранніх стадіях проектування цифрових виробів.Основні результати: моделі тестування та верифікації цифрових проектів, орієнтовані на апаратну імплементацію з метою суттєвого (х10, х100, х1000) зменшення часу моделювання; апаратурна реалізація трійкового методу моделювання справної поведінки HES-MV - Hardware Embedded Simulation based on Multi-Valued alphabet, який використовує апаратурні моделі цифрових проектів великої розмірності вентильного та регістрового рівнів опису; структурні рішення для реалізації моделей логічних елементів, що мають по два розряди для кодування чотирьох станів кожної вхідної або вихідної лінії пристрою; апаратні моделі цифрових пристроїв та примітивів, які дозволяють розширити функціональність апаратного методу моделювання для аналізу перехідних процесів і суттєво підвищити швидкодію програмного моделювання при верифікації проектів. Практична значущість застосування технології апаратного моделювання полягає у тому, що з'явилась можливість суттєво (на 15-30%) зменшити час появи готового виробу на ринку електронних технологій (time-to-market).

Додано в НРАТ

2020-04-04