Applying ROBDDS for logical circuit delay testing
Increasing functioning frequency and decreasing transistors sizes in high performance logical circuits may result 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 in the frame of path delay fault (PDF) model. In this paper facilities of enhancing of PDF test sequences quality based on applying ROBDDs compactly representing 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 setup that using of these ROBDDs cut the lengths of test sequences more than on 1/3 in comparison with tradition scan test sequences under enhancing test sequence quality. In particular, we derive fully detectable test sequence, decrease their power consumption and peak power values.
Keywords
robust testable PDFs, Equivalent Normal Form, Disjoint Sum of Products (DSoP), Reduced Ordered Binary Decision Diagram (ROBDD), combinational and sequential circuits, робастно тестируемые неисправности задержек путей, эквивалентные нормальные формы, ортогональные ДНФ, ROBDD-графы, комбинационные и последовательностные схемыAuthors
Name | Organization | |
Matrosova A.Yu. | National Research Tomsk State University | mau11@Yandex.ru |
Andreeva V.V. | National Research Tomsk State University | avv/21@mail.ru |
Tychinskiy V.Z. | National Research Tomsk State University | tvz041@gmail.ru |
Goshin G.G. | Tomsk State University of Control Systems and Radioelectronics | goshingg@svch.tusur.ru |
References
Applying ROBDDS for logical circuit delay testing | Izvestiya vuzov. Fizika. 2019. № 5. DOI: 10.17223/00213411/62/5/86