Хаханов В. И. Модифицированный дедуктивный метод моделирования неисправностей цифровых устройств / В. И. Хаханов, Е. А. Каменюка, А. Н. Парфентий // Электрон. моделирование. - 2003. - 25, № 5. - С. 57-77. - Библиогр.: 7 назв. - рус.Запропоновано швидкодійний дедуктивно-паралельний метод зворотнього моделювання несправностей, що використовує процедуру суперпозиції розв'язків, орієнтований на обробку надвеликих цифрових проектів вентильного та реєстрового рівнів опису. Наведено структури даних і програмно-орієнтовані алгоритми для реалізації методу в складі автоматичної системи генерації тестів. Ключ. слова: моделирование, неисправность, цифровая система, дедуктивный алгоритм, синтез тестов Індекс рубрикатора НБУВ: З972-07-5-05
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|