Providing Reliability of Physical Systems: Fully Delay Testable Logical Circuit Design with Compact Representation of all PDF Test Pairs


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

Functional reliability is one of the important properties of physical systems provided by reliability of system components, in particular, control logical components. The new approach to fully delay testable circuit design oriented to cut overheads and lengths of circuit paths has been developed. Compact representation of all PDF test pairs is reduced to keeping the corresponding generative vector pairs. The number of generative vector pairs does not exceed the doubled number of internal ROBDD nodes originating from the circuit, while the number of the circuit paths can exponentially depend on the number of these internal nodes. The algorithm of involving the PDF test pair from the proper generative vector pair is suggested. This procedure does not require essential calculations. The algorithm of deriving the generative vector pair has a polynomial complexity.

Авторлар туралы

A. Matrosova

National Research Tomsk State University

Хат алмасуға жауапты Автор.
Email: mau11@yandex.ru
Ресей, Tomsk

E. Mitrofanov

National Research Tomsk State University

Хат алмасуға жауапты Автор.
Email: quaz@yandex.ru
Ресей, Tomsk

D. Akhynova

National Research Tomsk State University

Хат алмасуға жауапты Автор.
Email: dinaa@sib.mail.com
Ресей, Tomsk

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Springer Science+Business Media New York, 2016