Кубитный метод дедуктивного анализа неисправностей для логических схем
Разработаны инновационные методы взятия булевых производных, синтеза тестов на их основе, а также дедуктивного моделирования неисправностей для функциональных элементов, заданных кубитными покрытиями. В методах анализа использованы векторные логические операции and, or, not, xor, а также операция вс...
Збережено в:
| Опубліковано в: : | Электронное моделирование |
|---|---|
| Дата: | 2017 |
| Автори: | , , , , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/131221 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Кубитный метод дедуктивного анализа неисправностей для логических схем / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова, Тамер Бани Амер // Электронное моделирование. — 2017. — Т. 39, № 6. — С. 59-91. — Бібліогр.: 12 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-131221 |
|---|---|
| record_format |
dspace |
| spelling |
Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. Тамер Бани Амер 2018-03-17T17:17:53Z 2018-03-17T17:17:53Z 2017 Кубитный метод дедуктивного анализа неисправностей для логических схем / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова, Тамер Бани Амер // Электронное моделирование. — 2017. — Т. 39, № 6. — С. 59-91. — Бібліогр.: 12 назв. — рос. 0204-3572 https://nasplib.isofts.kiev.ua/handle/123456789/131221 681.326:519.713 Разработаны инновационные методы взятия булевых производных, синтеза тестов на их основе, а также дедуктивного моделирования неисправностей для функциональных элементов, заданных кубитными покрытиями. В методах анализа использованы векторные логические операции and, or, not, xor, а также операция встречного сдвига частей кубитной формы функциональности. Приведены примеры комбинационных схем для верификации и сравнительного анализа производительности базовых и предложенных методов. Описана структура встроенного процессора, выполняющего операции взятия производных, синтеза тестов, дедуктивного моделирования неисправностей для оценки качества проверяющих входных наборов и диагностирования. Предложенные технологии ориентированы на их имплементацию в виде облачного сервиса или IP инфраструктуры в архитектурах SoC. Розроблено іноваційні методи взяття булевих похідних, синтезу тестів на їх основі, а також дедуктивного моделювання несправностей для функціональних елементів, заданих кубітними покриттями. В методах аналізу використано векторні логічні операції and, or, not, xor, а також операція зустрічного зсуву частин кубітної форми функціональності. Наведено приклади комбінаційних схем для верифікації та порівняльного аналізу продуктивності базових та запропонованих методів. Описано структуру вбудованого процесора, що виконує операції взяття похідних, синтезу тестів, дедуктивного моделювання несправностей для оцінки якості перевіряючих вхідних наборів і діагностування. Запропоновані ехнології орієнтовано на їх імплементацію у вигляді хмарного сервісу або IP інфраструктури в архітектурах SoC. Innovative methods have been developed for taking Boolean derivatives, test synthesis on their basis, as well as deductive fault simulation for functional elements specified by the qubit coverage. The analysis methods use vector logical operations: and, or, not, xor, as well as opposite shift of the parts of the qubit form of functionality. Examples of combinational circuits for verification and comparative analysis of the performance of basic and proposed methods are presented. The structure of the embedded processor is described, which executes the operations of taking derivatives, test synthesis, deductive fault simulation for evaluating the quality of input test patterns and diagnosis. The proposed technologies are focused on their implementation in a cloud service or IP-infrastructure of SoC architectures. ru Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Электронное моделирование Вычислительные процессы и системы Кубитный метод дедуктивного анализа неисправностей для логических схем Qubit method for deductive fault analysis of logic circuits Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Кубитный метод дедуктивного анализа неисправностей для логических схем |
| spellingShingle |
Кубитный метод дедуктивного анализа неисправностей для логических схем Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. Тамер Бани Амер Вычислительные процессы и системы |
| title_short |
Кубитный метод дедуктивного анализа неисправностей для логических схем |
| title_full |
Кубитный метод дедуктивного анализа неисправностей для логических схем |
| title_fullStr |
Кубитный метод дедуктивного анализа неисправностей для логических схем |
| title_full_unstemmed |
Кубитный метод дедуктивного анализа неисправностей для логических схем |
| title_sort |
кубитный метод дедуктивного анализа неисправностей для логических схем |
| author |
Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. Тамер Бани Амер |
| author_facet |
Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. Тамер Бани Амер |
| topic |
Вычислительные процессы и системы |
| topic_facet |
Вычислительные процессы и системы |
| publishDate |
2017 |
| language |
Russian |
| container_title |
Электронное моделирование |
| publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| format |
Article |
| title_alt |
Qubit method for deductive fault analysis of logic circuits |
| description |
Разработаны инновационные методы взятия булевых производных, синтеза тестов на их основе, а также дедуктивного моделирования неисправностей для функциональных элементов, заданных кубитными покрытиями. В методах анализа использованы векторные логические операции and, or, not, xor, а также операция встречного сдвига частей кубитной формы функциональности. Приведены примеры комбинационных схем для верификации и сравнительного анализа производительности базовых и предложенных методов. Описана структура встроенного процессора, выполняющего операции взятия производных, синтеза тестов, дедуктивного моделирования неисправностей для оценки качества проверяющих входных наборов и диагностирования. Предложенные технологии ориентированы на их имплементацию в виде облачного сервиса или IP инфраструктуры в архитектурах SoC.
Розроблено іноваційні методи взяття булевих похідних, синтезу тестів на їх основі, а також дедуктивного моделювання несправностей для функціональних елементів, заданих кубітними покриттями. В методах аналізу використано векторні логічні операції and, or, not, xor, а також операція зустрічного зсуву частин кубітної форми функціональності. Наведено приклади комбінаційних схем для верифікації та порівняльного аналізу продуктивності базових та запропонованих методів. Описано структуру вбудованого процесора, що виконує операції взяття похідних, синтезу тестів, дедуктивного моделювання несправностей для оцінки якості перевіряючих вхідних наборів і діагностування. Запропоновані ехнології орієнтовано на їх імплементацію у вигляді хмарного сервісу або IP інфраструктури в архітектурах SoC.
Innovative methods have been developed for taking Boolean derivatives, test synthesis on their basis, as well as deductive fault simulation for functional elements specified by the qubit coverage. The analysis methods use vector logical operations: and, or, not, xor, as well as opposite shift of the parts of the qubit form of functionality. Examples of combinational circuits for verification and comparative analysis of the performance of basic and proposed methods are presented. The structure of the embedded processor is described, which executes the operations of taking derivatives, test synthesis, deductive fault simulation for evaluating the quality of input test patterns and diagnosis. The proposed technologies are focused on their implementation in a cloud service or IP-infrastructure of SoC architectures.
|
| issn |
0204-3572 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/131221 |
| citation_txt |
Кубитный метод дедуктивного анализа неисправностей для логических схем / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова, Тамер Бани Амер // Электронное моделирование. — 2017. — Т. 39, № 6. — С. 59-91. — Бібліогр.: 12 назв. — рос. |
| work_keys_str_mv |
AT hahanovvi kubitnyimetoddeduktivnogoanalizaneispravnosteidlâlogičeskihshem AT emelʹânoviv kubitnyimetoddeduktivnogoanalizaneispravnosteidlâlogičeskihshem AT lûbarskiimm kubitnyimetoddeduktivnogoanalizaneispravnosteidlâlogičeskihshem AT čumačenkosv kubitnyimetoddeduktivnogoanalizaneispravnosteidlâlogičeskihshem AT litvinovaei kubitnyimetoddeduktivnogoanalizaneispravnosteidlâlogičeskihshem AT tamerbaniamer kubitnyimetoddeduktivnogoanalizaneispravnosteidlâlogičeskihshem AT hahanovvi qubitmethodfordeductivefaultanalysisoflogiccircuits AT emelʹânoviv qubitmethodfordeductivefaultanalysisoflogiccircuits AT lûbarskiimm qubitmethodfordeductivefaultanalysisoflogiccircuits AT čumačenkosv qubitmethodfordeductivefaultanalysisoflogiccircuits AT litvinovaei qubitmethodfordeductivefaultanalysisoflogiccircuits AT tamerbaniamer qubitmethodfordeductivefaultanalysisoflogiccircuits |
| first_indexed |
2025-12-07T16:04:20Z |
| last_indexed |
2025-12-07T16:04:20Z |
| _version_ |
1850866098120949760 |