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

• Нгене Кристофер Умерах (технічні науки)

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