Normal view
MARC view
Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул А. Ю. Матросова, В. З. Тычинский, В. В. Андреева
Material type:
ArticleContent type: Текст Media type: электронный Other title: Obtaining test pairs for robust testable path delay faults by solving of Boolean satisfiability problem [Parallel title]Subject(s): микроэлектроника | диагностика | робастно тестируемые неисправности задержек путей | ROBDD-графы | тестовые парыGenre/Form: статьи в сборниках Online resources: Click here to access online
In:
Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г С. 73-74
No physical items for this record
Библиогр.: 6 назв.
There are no comments on this title.