Тестирование и верификация HDL-моделей компонентов SoC. I

Модели и методы верификации и диагностирования soc HDL-кода

Метод верификации HDL-кода на основе транзакционного логического графа

Диагностирование HDL-моделей систем на кристаллах

Инфраструктура диагностирования программноаппаратных систем

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

Анализ киберпространства и диагностирование функциональных модулей

Иерархический метод тестирования программных продуктов на основе использования ассерционных библиотек

Тестирование и верификация HDL-моделей компонентов soc. II

HFS – процессор аппаратного моделирования неисправностей цифровых проектов