Анотація до роботи:

Хассан Ктейман. Моделі та методи апаратного моделювання несправностей цифрових систем на кристалах.– Рукопис.– Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.13 – обчислювальні машини, системи та мережі.– Харківський національний університет радіоелектроніки, Харків, 2007.

У дисертаційній роботі наведено результати теоретичних і практичних досліджень, що є результатом розв’язання задачі суттєвого (х10, х100) зменшення часу аналізу якості тестів для покриття несправностей шляхом застосування апаратних моделей та дедуктивно-паралельних методів моделювання несправностей на основі розробки мультипроцесорної структури з обмеженою системою команд. Для досягнення поставленої мети було отримано такі наукові результати, що виносяться на захист:

1. Уперше запропоновано нову модель мультипроцесорної системи аналізу якості тестів для зменшення у десятки разів тривалості циклу моделювання несправностей проектованого пристрою;

2. Удосконалено математичні моделі адаптації дедуктивно-паралельного методу аналізу якості тестів в цілях його апаратної імплементації для суттєвого підвищення швидкодії обробки цифрових проектів;

3. Удосконалено структурно-функціональні моделі секвенсерів (процесора) для вирішення задач дедуктивно-паралельного моделювання несправностей, що дозволяють у сотні разів підвищити швидкодію аналізу дедуктивних компонентів проекту у порівнянні з програмною реалізацією методу;

4. Удосконалено моделі подання даних і компілятор перетворення HDL-опису у внутрішній формат проекту для подальшого розподілу примітивів цифрового пристрою по секвенсерах мультипроцесора та паралельного моделювання несправностей.

Практичне значення отриманих результатів визначається:

5. Програмно-апаратною імплементацією запропонованих моделей, дедуктивно-паралельного методу моделювання несправностей і алгоритмів в апаратуру на основі секвенсерів, що дозволяє покращити швидкодію моделювання на 2 порядки;

6. Програмною реалізацією компілятора HDL-опису у внутрішню модель проектованого пристрою, тестуванням і верифікацією програмно-апаратного прототипу на цифрових комбінаційних і послідовносних схемах, його порівнянням з існуючими світовими аналогами за допомогою тестових бібліотек провідних фірм та інтеграцією з Active-HDL симулятором;

7. Впровадженням результатів теоретичних і практичних досліджень у технологічний та навчальний процеси у вигляді програмно-апаратного комплексу (Hardware Fault Simulator) HFS для здійснення дедуктивно-паралельного моделювання несправностей цифрових SoC та оцінки якості тестів.

Публікації автора:

1. Кулак Э.Н., Каминская М.А., Уади Гариби, Хассан Ктейман. Эвристический метод анализа тестопригодности для тестирования цифровых схем детерминированным тестом // Радиоэлектроника и информатика.– 2005.– № 3(32).–С.113-118.

2. Кулак Э.Н., Каминская М.А., Уади Гариби, Хаcсан Ктейман, Гузь О.А. Модификация цифровых схем с использованием метода анализа тестопригодности TADATPG // Радиоэлектроника и информатика.– 2005.– № 4(33).– С. 60-68.

3. Хаханов В.И., Побеженко И.А., Хаcсан Ктейман, Уади Гариби. HES-MV – аппаратный метод моделирования устройств // АСУ и приборы автоматики.– 2005.– № 4(133).– С. 4-12.

4. Хаханов В.И.,Елисеев В.В., Обризан В.И., Wade Ghribi, Hassan Ktiaman. Иерархическое тестирование программно-технических комплексов// АСУ и приборы автоматики.– 2005.– № 1(134).– С. 93-102.

5. Хаханов В.И., Елисеев В.В., Обризан В.И., Уади Гариби, Хаcсан Ктейман. Ассеrt-метод верификации цифровых систем на основе стандарта IEEE 1500 SECT // АСУ и приборы автоматики.– 2005.– № 3(132).– С. 93-105.

6. Хаханов В.И., Хассан Ктейман, Парфентий А.Н., Хаханова И.В. HFS-процессор аппаратного моделирования неисправностей цифровых проектов // АСУ и приборы автоматики. –2007. –№ 1(134).– С. 93-108.

7. Хаханов В.И., Парфентий А.Н., Хаcсан Ктейман, Уади Гариби. HEDEFS – программно-аппаратная система моделирования неисправностей // Радиоэлектроника и информационные технологии.– ЗНПУ.– 2006.– №3.– С.56-62.

8. Хаханов В.И., Хассан Ктейман, Парфентий А.Н., Хаханова И.В. Встроенное аппаратное моделирование при проектировании SoC // Радиоэлектронные компьютерные системы.– 2007.– № 8(27).– С. 242 -246.

9. Kamenuka E.A.,Kiyashenko A.V., Hassan Ktiaman. Set operations speed-up in Deductive Fault Simulation Method. Proceedings of the 8th International Conference CADSM 2005.– Lviv, Ukraine.– 2005.– Р. 356-361.

10. Hahanov Vladimir, Kiyaschenko Anna, Parfentiy Alexander, Ktiaman Hassan. Hardware/Software Method of Digital SoC Verification. Proceedings of the International Conference Modern Problems of Radio Engineering, Telecommunications and Computer Science.– TCSET’2006.– Lviv-Slavske, Ukraine.– P. 384-387.

11. Yegorov O., Grigoryev A., Ktiaman H. Test minimization in HW/SW co-verification environment // Материалы 10-го международного молодежного форума “Радиоэлектроника и молодежь в 21 веке”.– Х.: ХНУРЭ.– 2006.– 589с.

12. Обризан В.И., Каменюка Е.А., Хассан Ктейман, Уади Гариби. Сферический мультипроцессор для решения систем булевых уравнений // Материалы 9-го международного молодежного форума “Радиоэлектроника и молодежь в 21 веке”.– Х.: ХНУРЭ.– 2005.– 541с.

13. Zaychenko S.A., Parfentiy A.N., Kamenuka E.A., Ktiaman H.. Set Operation Speed-up of Fault Simulation // Proceedings of the 2nd East-West Design and Test Workshop, 23-26 September, 2004.– Alushta, Ukraine.– 2004.– P. 231-237.

14. Хаханова И.В., Киященко А.В., Парфентий А.Н., Хассан Ктейман. Методы и средства создания цифровых систем на кристаллах // Материалы 6-й международной научно- практической конференции «Современные информационные и электронные технологии».– Одесса, Украина.– 2005.– С. 99.

15. Зайченко С.А., Парфентий А.Н., Хассан Ктейман. Ускорение операций над множествами в дедуктивном методе моделирования неисправностей // Материалы 4-й межд.научно-технической конференции «Проблемы информатики и моделирования».– Харьков.– 2004.– С. 79-83.

16. Hahanova I., Obrizan V., Ghribi W., Yeliseev V., Ktiaman H. , Guz O. Hierarchical Hybrid Approach to Complex Digital Systems Testing // Proceedings of the 3rd EWDT Workshop, September 15-19, 2005.– Odessa, Ukraine. – 2005.– Р. 54-56.

17. Hahanov Vladimir, Ktiaman Hassan, Ghribi Wade and Fomina Elena. HEDEFS – Hardware Embedded Dedutive Fault Simulation // The 3rd IFAC Workshop Discret Event System Design.– Zielona Gora, Poland.– 2006.– P.25-29.

18. Vladimir Hahanov, Eugeniy Kamenuka, Ktiaman Hassan, Ghribi Wade and Tamara Radivilova. High-Speed Method of Hardware Simulation // Proceedings of the 9th International Conference CADSM 2007.– Lviv, Ukraine.– 2007.– Р. 222-225.

19. Хаханова И.В., Уади Гариби, Хассан Ктейман. HES+ARM BOARD – HW/SW CO-SIMULATOR для верификации сверхсложных цифровых систем на кристаллах // Материалы научно-технической конференции “Информационные технологии – в науку и образование”.– Харьков.– 2005.– 101с.

20. Irina Hahanova, Irina Pobegenko, Wade Ghribi, Hassan Ktiaman. Lifting Structure Implementation of Discrete Wavewlet Transform for Filter Bank 5/3 // Proceeeding of TCSET’2006.– Lviv-Slavsko.– 2006.– P. 38 - 40.

21. Хаханова И.В., Елисеев В.В., Егоров А.А., Гариби У., Ктейман Х. Иерархический подход к тестированию сложных цифровых схем // Материалы международного радиоэлектронного форума.– 2005.– C. 285-288.

22. Gorobets A.A., Krasovskaya A., Lukashenko O., Hassan Ktiaman. Destructive Objects Coding on theBasis of the Signature Analysis // Proceedings of IEEE East-West Design and Test Symposium. 2007. – Yerevan, Armenia. – 2007. – Р. 749-753.