Finding Test Pairs for PDFs in Logic Circuits Based on Using Operations on ROBDDs


如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅存取

详细

A method of finding all test pairs for robust testable Path Delay Faults (PDFs) is suggested. In foreign literature, the authors find only one or several subsets of the test pairs. In this paper, the test pairs are formed from sequential sets and represented compactly by the Reduced Ordered Binary Decision Diagram (ROBDD). In this paper, the test pairs are formed from adjacent test patterns. All such test pairs are compactly represented by the ROBDD. Having got all test pairs for a path, we may derive a test sequence detecting the robust PDFs of the path in sequential circuits without using Scan techniques. In addition, having got the above-mentioned ROBDDs for a set of paths, we may find compact test sets for the Scan techniques oriented to decreased power consumption during testing. Finding all test pairs is reduced to deriving a Boolean difference for the path considered. The Boolean difference is obtained by applying operations on ROBDDs involved from the combinational part fragments of a sequential circuit. The Boolean difference is also represented by the ROBDD.

作者简介

A. Mатrosova

National Research Tomsk State University

编辑信件的主要联系方式.
Email: mau11@yandex.ru
俄罗斯联邦, Tomsk

V. Andreeva

National Research Tomsk State University

Email: mau11@yandex.ru
俄罗斯联邦, Tomsk

E. Nikolaeva

National Research Tomsk State University

Email: mau11@yandex.ru
俄罗斯联邦, Tomsk

补充文件

附件文件
动作
1. JATS XML

版权所有 © Springer Science+Business Media, LLC, part of Springer Nature, 2018