SAT solvers application of deriving all test pairs detecting robust testable PDFs
It is known that if we have set of test pairs of neighbor Boolean vectors for robust testable PDF for each path considered in the given circuit, we may derive test sequence for these faults consisting of fragments that are characterized by minimal length and minimal power consumption. Conventionally...
| Published in: | 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings P. 252-255 |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Book Chapter |
| Language: | English |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000891948 Перейти в каталог НБ ТГУ |