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

Authors: Matrosova, Anjela Yu., Kirienko, Irina E., Nikolaeva, Ekaterina A., Ostanin, Sergey A.

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

Subject Terms: самопроверяемые схемы, последовательностные схемы, нерегулярные ошибки, константные неисправности, неисправности задержек путей, отказоустойчивые схемы

File Description: application/pdf

Access URL: 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

Authors: Matrosova, Anjela Yu., Mitrofanov, Evgenii V., Shah, Toral

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, контролепригодный синтез, ROBDD-графы, 02 engineering and technology, неисправности задержек путей

File Description: application/pdf

Access URL: 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

Authors: Matrosova, A. Yu., Nikolaeva, E. A., Kirienko, I. E., Ostanin, S. A.

Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

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

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

File Description: text/html; application/pdf

Access URL: 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

Authors: Матросова, Анжела Юрьевна, Тычинский, Вячеслав Зиновьевич, Андреева, Валентина Валерьевна

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

Subject Terms: комбинационные схемы, эквивалентная нормальная форма, робастно тестируемые неисправности задержек путей, булевы разности

File Description: application/pdf

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

Availability: https://doi.org/10.17223/19988605/66/11
https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139693

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

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

Subject Terms: робастно тестируемый путь, комбинационные схемы, ROBDD-графы, робастно тестируемые неисправности задержек путей

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000737145

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

Authors: MATROSOVA ANJELA YU., OSTANIN SERGEY A., NIKOLAEVA EKATERINA A., KIRIENKO IRINA E.

Subject Terms: КОНЕЧНЫЙ АВТОМАТ,ГРАФ ПЕРЕХОДОВ,НЕИСПРАВНОСТИ ЗАДЕРЖЕК ПУТЕЙ,КРАТНЫЕ КОНСТАНТНЫЕ НЕИСПРАВНОСТИ,МОНОТОННЫЕ ФУНКЦИИ,FINITE STATE MACHINE (FSM),STATE TRANSITION GRAPH (STG),PATH DELAY FAULTS (PDFS),MULTIPLE STUCK-AT FAULTS,MONOTONOUS FUNCTIONS

File Description: text/html

Availability: http://cyberleninka.ru/article/n/fully-delay-and-multiple-stuck-at-fault-testable-sequential-circuit-design
http://cyberleninka.ru/article_covers/16364362.png

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

Authors: Матросова, Анжела, Митрофанов, Евгений

Subject Terms: КОМБИНАЦИОННЫЕ СОСТАВЛЯЮЩИЕ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ, ROBDD-ГРАФЫ, МОНОТОННЫЕ ДНФ, НЕИСПРАВНОСТИ ЗАДЕРЖЕК ПУТЕЙ, ROBDDS (REDUCED ORDERED BINARY DECISION DIAGRAMS, MONOTONOUS SOPS (SUM OF PRODUCTS), PDFS (PATH DELAY FAULTS)

File Description: text/html

Availability: http://cyberleninka.ru/article/n/sintez-legko-testiruemyh-posledovatelnostnyh-shem
http://cyberleninka.ru/article_covers/14347033.png

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

Authors: Матросова, Анжела, Мельников, Алексей

Subject Terms: комбинационная схема, эквивалентная нормальная форма, неисправности задержек путей, combinational circuit, equivalent normal form, path delay fault

File Description: text/html

Availability: http://cyberleninka.ru/article/n/testirovanie-neispravnostey-zaderzhek-putey-v-usloviyah-ogranicheniy-na-vybor-par-testovyh-naborov
http://cyberleninka.ru/article_covers/8421526.png

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

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

Subject Terms: КОМБИНАЦИОННЫЕ СОСТАВЛЯЮЩИЕ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ, ROBDD-ГРАФЫ, МОНОТОННЫЕ ДНФ, НЕИСПРАВНОСТИ ЗАДЕРЖЕК ПУТЕЙ, ROBDDS (REDUCED ORDERED BINARY DECISION DIAGRAMS, MONOTONOUS SOPS (SUM OF PRODUCTS), PDFS (PATH DELAY FAULTS)

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/sintez-legko-testiruemyh-posledovatelnostnyh-shem
http://cyberleninka.ru/article_covers/14347033.png

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

Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования, Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

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

Subject Terms: монотонные ДНФ, последовательностные схемы, комбинационные составляющие последовательностных схем, ROBDD-графы, неисправности задержек путей

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457134

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

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

Subject Terms: комбинационные составляющие последовательностных схем, ROBDD-графы, монотонные ДНФ, неисправности задержек путей

File Description: text/html

Access URL: 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-графов

Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

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

Subject Terms: деревья И/ИЛИ (графов теория), комбинационные схемы, константные неисправности, неисправности задержек путей, SSBDD-графы, эквивалентная нормальная форма

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000465619

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

Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования, Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

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

Subject Terms: BDD-графы, физические дефекты, логические схемы, неисправности задержек путей

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000446443

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

Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

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

Subject Terms: комбинационные схемы, константные неисправности, неисправности задержек путей, эквивалентная нормальная форма, ложные пути

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457709

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

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

Subject Terms: комбинационная схема, эквивалентная нормальная форма, неисправности задержек путей

File Description: text/html

Access URL: 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-графами

Authors: Матросова, Анжела Юрьевна, Андреева, Валентина Валерьевна, Николаева, Екатерина Александровна

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

Subject Terms: последовательностные схемы, ROBDD- графы, робастно тестируемые неисправности задержек путей

File Description: application/pdf

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

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

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

Authors: Матросова, Анжела Юрьевна, Митрофанов, Евгений Владимирович, Ахунова, Дина Иманбековна

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

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

File Description: application/pdf

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

Availability: 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

Authors: Матросова, Анжела Юрьевна, Тычинский, Вячеслав Зиновьевич, Андреева, Валентина Валерьевна

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

Subject Terms: микроэлектроника, диагностика, робастно тестируемые неисправности задержек путей, ROBDD-графы, тестовые пары

File Description: application/pdf

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

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

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

Authors: Матросова, Анжела Юрьевна, Останин, Сергей Александрович, Сингх, В.

Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

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

Subject Terms: комбинационные схемы, эквивалентная нормальная форма, неисправности задержек путей, константные неисправности, деревья И/ИЛИ (графов теория), SSBDD-графы

File Description: application/pdf

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

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

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

Authors: Матросова, Анжела Юрьевна, Митрофанов, Евгений Владимирович

Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования, Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

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

Subject Terms: комбинационные составляющие последовательностных схем, последовательностные схемы, ROBDD-графы, неисправности задержек путей, монотонные ДНФ

File Description: application/pdf

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

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