1. |
Колесніков К.В. Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці: Автореф. дис. канд. техн. наук: 05.13.12 / К.В. Колесніков ; Харк. нац. ун-т радіоелектрон.. — Х., 2003. — 20 с. — укp.Запропоновано моделі процесу дедуктивного й паралельного моделювання несправностей на основі технології граничного сканування з метою істотного (у кілька разів) підвищення швидкодії програмної реалізації розроблюваних методів аналізу надскладних проектів. Поглиблено розробку нових графо-теоретичних дедуктивних моделей структурного аналізу розгалужень, що сходяться, і виділення деревоподібних сегментів для роздільного моделювання несправностей. Удосконалено дедуктивно-паралельну модель цифрової системи на основі аналізу її структури, що модифікується на вхідному наборі з метою виконання паралельної обробки дефектів розгалужень, що сходяться. Запропоновано дедуктивно-паралельний метод зворотного простежування несправностей цифрових систем, заданих на регістровому рівні у форматі булевих рівнянь. Розроблено новий метод зворотного (суперпозиційного й топологічного) моделювання дефектів деревоподібних структур цифрових систем великої розмірності. Удосконалено кубічний метод детермінованого синтезу тестів для деревоподібних структур цифрових систем з використанням граничного сканування та функціонально закінчених примітивів. Скачати повний текст
Індекс рубрикатора НБУВ: З972-07-5-05 + Шифр НБУВ: РА328354
Рубрики:
|