Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000356121<.>) |
Загальна кількість знайдених документів : 1
|
Хаханов В. И. Тестирование и верификация HDL-моделей цифровых систем на кристаллах / В. И. Хаханов, И. В. Хаханова, Е. И. Литвинова, О. А. Гузь // Электрон. моделирование. - 2010. - 32, № 2. - С. 31-60. - Библиогр.: 18 назв. - рус.Предложена технология тестирования и верификации цифровых систем для диагностирования и исправления ошибок HDL-моделей, основанная на совместном использовании механизма (системы) ассерций и тестопригодного проектирования. Представлена универсальная модель программного компонента в виде транзакционного графа. Показаны логические функции тестопригодности HDL-моделей, полученные на основании его использования. Приведены примеры анализа тестопригодности методом подсчета управляемости и наблюдаемости транзакционного и управляющего графов. Індекс рубрикатора НБУВ: З972-07-5-05
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|