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