Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар
Одним из важных свойств физических систем является надежность их функционирования, которая достигается, в том числе, надежностью компонент, в частности надежностью логических управляющих компонент. Разработан новый подход к синтезу тестопригодных логических схем, в которых задержка каждого пути обна...
| Опубликовано в: : | Известия высших учебных заведений. Физика Т. 58, № 9. С. 105-114 |
|---|---|
| Главный автор: | Матросова, Анжела Юрьевна |
| Другие авторы: | Митрофанов, Евгений Владимирович, Ахунова, Дина Иманбековна |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141732 |
Похожие документы
-
Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
по: Матросова, Анжела Юрьевна -
Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
по: Матросова, Анжела Юрьевна - Использование ROBDD-графов для тестирования задержек логических схем
-
Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
по: Тычинский, Вячеслав Зиновьевич -
Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути
по: Матросова, Анжела Юрьевна
