Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/9448
Название: THE DISTINGUISHING FUNCTIONS IN TEST GENERATION OF DIGITAL SEQUENTIAL CIRCUITS WITH MULTIPLE OBSERVATION TIME STRATEGY
Авторы: Скобцов, Юрий Александрович
Скобцов, Вадим Юрьевич
Ключевые слова: sequential circuits
test generation
distinguishing function
multiple observation time strategy
Дата публикации: мая-2011
Издательство: ХАИ
Библиографическое описание: Yuriy Skobtsov, Vadim Skobtsov.THE DISTINGUISHING FUNCTIONS IN TEST GENERATION OF DIGITAL SEQUENTIAL CIRCUITS WITH MULTIPLE OBSERVATION TIME STRATEGY//Proceedings of 1-st International Workshop "Critical infrastructur safety and security"(CrISS-DESERT'2011).-Vol.2.-P.441-450
Краткий осмотр (реферат): An analytical approach is considered to test generation for circuits with memory which is based on method of the distinguishing functions. It uses the symbolic simulation and multiple observation time strategy of output signals, which can improve the fault coverage of test. We consider two forms of distinguishing function – disjunctive and conjunctive. Disjunctive form identifies distinguishable state pairs of good and faulty circuits and reduces the problem of test generation to verifying tautologies of distinguishing function. Conjunctive form determines the pairs of indistinguishable states and reduces the problem of test generation to satisfiability of Boolean functions problem (SAT).
Описание: An analytical approach is considered to test generation for circuits with memory which is based on method of the distinguishing functions. It uses the symbolic simulation and multiple observation time strategy of output signals, which can improve the fault coverage of test. We consider two forms of distinguishing function – disjunctive and conjunctive. Disjunctive form identifies distinguishable state pairs of good and faulty circuits and reduces the problem of test generation to verifying tautologies of distinguishing function. Conjunctive form determines the pairs of indistinguishable states and reduces the problem of test generation to satisfiability of Boolean functions problem (SAT).
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/9448
ISBN: 978-966-662-227-6
Располагается в коллекциях:Наукові статті кафедри автоматизованих систем управління

Файлы этого ресурса:
Файл Описание РазмерФормат 
Skobtsov Dessert 2011.doc343,5 kBMicrosoft WordПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.