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

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

Type: статьи в журналах

Date: 2025

Description: Обнаружение робастно тестируемых неисправностей задержек путей является важным этапом тестирования интегральных схем высокой производительности. Ранее было показано, что использование тестовых пар бул ... More

Authors: Матросова, Анжела Юрьевна | Савенкова, Марина Максимовна

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

Type: статьи в журналах

Date: 2025

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

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

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

Type: статьи в журналах

Date: 2024

Description: Исследуется метод получения тестовых пар соседних булевых векторов, порождаемых булевой разностью исследуемого пути. Использование таких пар позволяет снизить потребляемую мощность при тестировании и ... More

Authors: Замятин, Александр Владимирович | Матросова, Анжела Юрьевна | Нежельская, Людмила Алексеевна | Громов, Максим Леонидович | Торгаев, Станислав Николаевич

Type: сборники

Date: 2024

Authors: Матросова, Анжела Юрьевна | Пасько, Антонина Дмитриевна | До Там Дык

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

Type: статьи в журналах

Date: 2024

Description: Троирование − один из широко используемых на практике подходов к обеспечению надежности функционирования логических схем. Появившиеся в последние годы возможности одновременного введения в каждую копи ... More

Authors: Матросова, Анжела Юрьевна | Савенкова, Марина Максимовна | Провкин, Виктор Алексеевич | Сухорученко, Ксения Алексеевна

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

Type: статьи в журналах

Date: 2024

Description: При построении тестовых последовательностей для многовыходных логических схем обычно используются тестовые наборы на множестве входных переменных схемы, такие что реакции на каждый из наборов отличают ... More

Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна

Source: Материалы X-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-29 мая 2023 г.. Томск, 2023. С. 59-69

Type: статьи в сборниках

Date: 2023

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

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

Type: статьи в журналах

Date: 2023

Description: Троирование (Triple-Modular Redundancy (TMR) technique) является одним из широко применяемых на практике подходов к обеспечению надежности функционирования логических схем. В рамках этой технологии ис ... More

Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна

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

Type: статьи в сборниках

Date: 2022

Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна

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

Type: статьи в журналах

Date: 2022

Description: Рассматривается задача получения множества всех достижимых реакций комбинационной логической схемы. Предлагается алгоритм построения ROBDD-графа, представляющего все достижимые реакции схемы. Получаем ... More

Authors: Горцев, Александр Михайлович | Замятин, Александр Владимирович | Громов, Максим Леонидович | Торгаев, Станислав Николаевич | Медведев, Юрий Геннадьевич | Матросова, Анжела Юрьевна | Нежельская, Людмила Алексеевна | Захарова, Галина Борисовна

Type: сборники

Date: 2022

Description: Четырнадцатая международная конференция "Новые информационные технологии в исследовании сложных структур" проводится в посёлке Листвянка Иркутской области с 19 по 24 сентября 2022 г. Материалы сборник ... More

Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович (физик) | Гошин, Геннадий Георгиевич

Source: Известия высших учебных заведений. Физика. 2022. Т. 65, № 4. С. 150-159

Type: статьи в журналах

Date: 2022

Description: Троирование является одним из широко используемых на практике подходов к обеспечению надежности функционирования логических схем. Однако появившиеся в последние годы возможности одновременного внесени ... More

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

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

Type: статьи в сборниках

Date: 2022

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

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

Type: статьи в сборниках

Date: 2022

Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна | Енютина, Арина Ивановна

Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 202-207

Type: статьи в сборниках

Date: 2021