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