Applying ROBDDs for Logical Circuit Delay Testing
- 作者: Matrosova A.Y.1, Andreeva V.V.1, Tychinskiy V.Z.1, Goshin G.G.2
-
隶属关系:
- National Research Tomsk State University
- Tomsk State University of Control Systems and Radioelectronics
- 期: 卷 62, 编号 5 (2019)
- 页面: 827-834
- 栏目: Mathematical Processing of Physics Experimental Data
- URL: https://bakhtiniada.ru/1064-8887/article/view/241858
- DOI: https://doi.org/10.1007/s11182-019-01784-y
- ID: 241858
如何引用文章
详细
Increasing frequency of functioning and decreasing transistor sizes in high performance logical circuits may result in illegal capacities, inductivities, resistances, and so on that generate decreasing estimated circuit frequency. These defects cannot be detected by physical methods. The main way of solving the problem is based on delay testing of logical circuits within the path delay fault (PDF) model. In this paper, facilities of enhancing PDF test sequence quality based on application of Reduced Ordered Binary Decision Diagrams (ROBDDs) that compactly represent all test pairs of neighbor test patterns for the circuit path are studied. Test patterns (Boolean vectors) are neighbor if they differ by only one component. It is established that using of these ROBDDs cut the lengths of test sequences by more than 1/3 in comparison with traditional scan test sequences simultaneously enhancing test sequence quality. In particular, we derive test sequences for robust testable PDFs of sequential circuits decreasing their power consumption and peak power values.
作者简介
A. Matrosova
National Research Tomsk State University
编辑信件的主要联系方式.
Email: mau11@yandex.ru
俄罗斯联邦, Tomsk
V. Andreeva
National Research Tomsk State University
Email: mau11@yandex.ru
俄罗斯联邦, Tomsk
V. Tychinskiy
National Research Tomsk State University
Email: mau11@yandex.ru
俄罗斯联邦, Tomsk
G. Goshin
Tomsk State University of Control Systems and Radioelectronics
Email: mau11@yandex.ru
俄罗斯联邦, Tomsk
补充文件
