A Fault-tolerant Sequential Circuit Design for Stuck-at Faults and Path Delay Faults

Συγγραφείς: Matrosova, Anjela Yu., Kirienko, Irina E., Nikolaeva, Ekaterina A., Ostanin, Sergey A.

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 41. С. 61-68

Θεματικοί όροι: самопроверяемые схемы, последовательностные схемы, нерегулярные ошибки, константные неисправности, неисправности задержек путей, отказоустойчивые схемы

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.tsu.ru/uploads/import/1637/files/41_061.pdf
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000624110

Simplification of fully delay testable combinational circuits and finding of PDF test pairs

Συγγραφείς: Matrosova, Anjela Yu., Mitrofanov, Evgenii V., Shah, Toral

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 39. P. 85-93

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, контролепригодный синтез, ROBDD-графы, 02 engineering and technology, неисправности задержек путей

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.tsu.ru/uploads/import/1581/files/39_085.pdf
https://cyberleninka.ru/article/n/simplification-of-fully-delay-testable-combinational-circuits-and-finding-of-pdf-test-pairs
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000579699

Fully delay and multiple stuck-at fault testable sequential circuit design

Συγγραφείς: Matrosova, A. Yu., Nikolaeva, E. A., Kirienko, I. E., Ostanin, S. A.

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. № 4. С. 82-90

Θεματικοί όροι: конечные автоматы, монотонные функции, константные неисправности, КОНЕЧНЫЙ АВТОМАТ,ГРАФ ПЕРЕХОДОВ,НЕИСПРАВНОСТИ ЗАДЕРЖЕК ПУТЕЙ,КРАТНЫЕ КОНСТАНТНЫЕ НЕИСПРАВНОСТИ,МОНОТОННЫЕ ФУНКЦИИ,FINITE STATE MACHINE (FSM),STATE TRANSITION GRAPH (STG),PATH DELAY FAULTS (PDFS),MULTIPLE STUCK-AT FAULTS,MONOTONOUS FUNCTIONS, неисправности задержек путей

Περιγραφή αρχείου: text/html; application/pdf

Σύνδεσμος πρόσβασης: http://journals.tsu.ru/uploads/import/1345/files/4(33)_082.pdf
http://cyberleninka.ru/article_covers/16364362.png
http://cyberleninka.ru/article/n/fully-delay-and-multiple-stuck-at-fault-testable-sequential-circuit-design
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000519102

Булева разность и обнаружение неисправностей задержек пути ; Boolean difference and path delay faults detection

Συγγραφείς: Матросова, Анжела Юрьевна, Тычинский, Вячеслав Зиновьевич, Андреева, Валентина Валерьевна

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 108-119

Θεματικοί όροι: комбинационные схемы, эквивалентная нормальная форма, робастно тестируемые неисправности задержек путей, булевы разности

Περιγραφή αρχείου: application/pdf

Relation: koha:001139693; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139693

Διαθεσιμότητα: https://doi.org/10.17223/19988605/66/11
https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139693

Использование ROBDD-графов для тестирования задержек логических схем

Πηγή: Известия высших учебных заведений. Физика. 2019. Т. 62, № 5. С. 86-94

Θεματικοί όροι: робастно тестируемый путь, комбинационные схемы, ROBDD-графы, робастно тестируемые неисправности задержек путей

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000737145

FULLY DELAY AND MULTIPLE STUCK-AT FAULT TESTABLE SEQUENTIAL CIRCUIT DESIGN

Συγγραφείς: MATROSOVA ANJELA YU., OSTANIN SERGEY A., NIKOLAEVA EKATERINA A., KIRIENKO IRINA E.

Θεματικοί όροι: КОНЕЧНЫЙ АВТОМАТ,ГРАФ ПЕРЕХОДОВ,НЕИСПРАВНОСТИ ЗАДЕРЖЕК ПУТЕЙ,КРАТНЫЕ КОНСТАНТНЫЕ НЕИСПРАВНОСТИ,МОНОТОННЫЕ ФУНКЦИИ,FINITE STATE MACHINE (FSM),STATE TRANSITION GRAPH (STG),PATH DELAY FAULTS (PDFS),MULTIPLE STUCK-AT FAULTS,MONOTONOUS FUNCTIONS

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/fully-delay-and-multiple-stuck-at-fault-testable-sequential-circuit-design
http://cyberleninka.ru/article_covers/16364362.png

СИНТЕЗ ЛЕГКО ТЕСТИРУЕМЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ

Συγγραφείς: Матросова, Анжела, Митрофанов, Евгений

Θεματικοί όροι: КОМБИНАЦИОННЫЕ СОСТАВЛЯЮЩИЕ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ, ROBDD-ГРАФЫ, МОНОТОННЫЕ ДНФ, НЕИСПРАВНОСТИ ЗАДЕРЖЕК ПУТЕЙ, ROBDDS (REDUCED ORDERED BINARY DECISION DIAGRAMS, MONOTONOUS SOPS (SUM OF PRODUCTS), PDFS (PATH DELAY FAULTS)

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/sintez-legko-testiruemyh-posledovatelnostnyh-shem
http://cyberleninka.ru/article_covers/14347033.png

ТЕСТИРОВАНИЕ НЕИСПРАВНОСТЕЙ ЗАДЕРЖЕК ПУТЕЙ В УСЛОВИЯХ ОГРАНИЧЕНИЙ НА ВЫБОР ПАР ТЕСТОВЫХ НАБОРОВ

Συγγραφείς: Матросова, Анжела, Мельников, Алексей

Θεματικοί όροι: комбинационная схема, эквивалентная нормальная форма, неисправности задержек путей, combinational circuit, equivalent normal form, path delay fault

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/testirovanie-neispravnostey-zaderzhek-putey-v-usloviyah-ogranicheniy-na-vybor-par-testovyh-naborov
http://cyberleninka.ru/article_covers/8421526.png

Синтез легко тестируемых последовательностных схем

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика.

Θεματικοί όροι: КОМБИНАЦИОННЫЕ СОСТАВЛЯЮЩИЕ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ, ROBDD-ГРАФЫ, МОНОТОННЫЕ ДНФ, НЕИСПРАВНОСТИ ЗАДЕРЖЕК ПУТЕЙ, ROBDDS (REDUCED ORDERED BINARY DECISION DIAGRAMS, MONOTONOUS SOPS (SUM OF PRODUCTS), PDFS (PATH DELAY FAULTS)

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/sintez-legko-testiruemyh-posledovatelnostnyh-shem
http://cyberleninka.ru/article_covers/14347033.png

Синтез легко тестируемых последовательностных схем

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования, Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 2. С. 140-147

Θεματικοί όροι: монотонные ДНФ, последовательностные схемы, комбинационные составляющие последовательностных схем, ROBDD-графы, неисправности задержек путей

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457134

Синтез легко тестируемых схем с памятью с использованием (1, n) кодирования состояний

Πηγή: Актуальные вопросы развития систем железнодорожной автоматики и телемеханики.

Θεματικοί όροι: комбинационные составляющие последовательностных схем, ROBDD-графы, монотонные ДНФ, неисправности задержек путей

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15839140.png
http://cyberleninka.ru/article/n/sintez-legko-testiruemyh-shem-s-pamyatyu-s-ispolzovaniem-1-n-kodirovaniya-sostoyaniy

Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

Πηγή: Автоматика и телемеханика. 2013. № 7. С. 126-142

Θεματικοί όροι: деревья И/ИЛИ (графов теория), комбинационные схемы, константные неисправности, неисправности задержек путей, SSBDD-графы, эквивалентная нормальная форма

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000465619

Синтез логических схем, контролепригодных относительно неисправностей задержек путей

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования, Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

Πηγή: Известия высших учебных заведений. Физика. 2012. Т. 55, № 11. С. 114-116

Θεματικοί όροι: BDD-графы, физические дефекты, логические схемы, неисправности задержек путей

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000446443

Обнаружение ложных путей в комбинационной схеме

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 2. С. 99-107

Θεματικοί όροι: комбинационные схемы, константные неисправности, неисправности задержек путей, эквивалентная нормальная форма, ложные пути

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457709

Тестирование неисправностей задержек путей в условиях ограничений на выбор пар тестовых наборов

Πηγή: Известия Томского политехнического университета.

Θεματικοί όροι: комбинационная схема, эквивалентная нормальная форма, неисправности задержек путей

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/testirovanie-neispravnostey-zaderzhek-putey-v-usloviyah-ogranicheniy-na-vybor-par-testovyh-naborov
http://cyberleninka.ru/article_covers/8421526.png

Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами

Συγγραφείς: Матросова, Анжела Юрьевна, Андреева, Валентина Валерьевна, Николаева, Екатерина Александровна

Πηγή: Известия высших учебных заведений. Физика. 2018. Т. 61, № 5. С. 169-173

Θεματικοί όροι: последовательностные схемы, ROBDD- графы, робастно тестируемые неисправности задержек путей

Περιγραφή αρχείου: application/pdf

Relation: koha:001148061; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001148061

Διαθεσιμότητα: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001148061

Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар

Συγγραφείς: Матросова, Анжела Юрьевна, Митрофанов, Евгений Владимирович, Ахунова, Дина Иманбековна

Πηγή: Известия высших учебных заведений. Физика. 2015. Т. 58, № 9. С. 105-114

Θεματικοί όροι: логические схемы, неисправности задержек путей, робастно тестируемые неисправности задержек путей, ROBDD-графы, тестовые пары

Περιγραφή αρχείου: application/pdf

Relation: koha:001141732; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141732

Διαθεσιμότητα: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141732

Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул ; Obtaining test pairs for robust testable path delay faults by solving of Boolean satisfiability problem

Συγγραφείς: Матросова, Анжела Юрьевна, Тычинский, Вячеслав Зиновьевич, Андреева, Валентина Валерьевна

Πηγή: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск, 2022. С. 73-74

Θεματικοί όροι: микроэлектроника, диагностика, робастно тестируемые неисправности задержек путей, ROBDD-графы, тестовые пары

Περιγραφή αρχείου: application/pdf

Relation: koha:000927129; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000927129

Διαθεσιμότητα: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000927129

Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов

Συγγραφείς: Матросова, Анжела Юрьевна, Останин, Сергей Александрович, Сингх, В.

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

Πηγή: Автоматика и телемеханика. 2013. № 7. С. 126-142

Θεματικοί όροι: комбинационные схемы, эквивалентная нормальная форма, неисправности задержек путей, константные неисправности, деревья И/ИЛИ (графов теория), SSBDD-графы

Περιγραφή αρχείου: application/pdf

Relation: vtls:000465619; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000465619

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000465619

Синтез легко тестируемых последовательностных схем

Συγγραφείς: Матросова, Анжела Юрьевна, Митрофанов, Евгений Владимирович

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования, Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 2. С. 140-147

Θεματικοί όροι: комбинационные составляющие последовательностных схем, последовательностные схемы, ROBDD-графы, неисправности задержек путей, монотонные ДНФ

Περιγραφή αρχείου: application/pdf

Relation: vtls:000457134; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457134

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457134