Finding Test Pairs for PDFs in Logic Circuits Based on Using Operations on ROBDDs
- 作者: Mатrosova A.Y.1, Andreeva V.V.1, Nikolaeva E.A.1
-
隶属关系:
- National Research Tomsk State University
- 期: 卷 61, 编号 5 (2018)
- 页面: 994-999
- 栏目: Mathematical Processing of Physics Experimental Data
- URL: https://bakhtiniada.ru/1064-8887/article/view/240608
- DOI: https://doi.org/10.1007/s11182-018-1488-1
- ID: 240608
如何引用文章
详细
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
补充文件
