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

В.И. Хаханов, д-р техн. наук, И.В. Емельянов, аспирант,
М.М. Любарский, аспирант, С.В. Чумаченко, д-р техн. наук,
Е.И. Литвинова, д-р техн. наук, Тамер Бани Амер, аспирант
Харьковский национальный университет радиоэлектроники
(Украина, 61166, Харьков, пр-т Ленина, 14,
тел. (057) 7021326, Ця електронна адреса захищена від спам-ботів. Вам потрібно увімкнути JavaScript, щоб побачити її.)

АННОТАЦИЯ

Розроблено іноваційні методи взяття булевих похідних, синтезу тестів на їх основі, а також дедуктивного моделювання несправностей для функціональних елементів, заданих кубітними покриттями. В методах аналізу використано векторні логічні операції and, or, not, xor, а також операція зустрічного зсуву частин кубітної форми функціональності. Наведено приклади комбінаційних схем для верифікації та порівняльного аналізу продуктивності базових та запропонованих методів. Описано структуру вбудованого процесора, що виконує операції взяття похідних, синтезу тестів, дедуктивного моделювання несправностей для оцінки якості перевіряючих вхідних наборів і діагностування. Запропоновані
технології орієнтовано на їх імплементацію у вигляді хмарного сервісу або IP інфраструктури в архітектурах SoC.

КЛЮЧЕВЫЕ СЛОВА:

синтез тестів, проектування і верифікація SoC, кубітне покриття, цифрова схема, моделювання несправностей, булева похідна, дедуктивне моделювання несправностей.

СПИСОК ЛИТЕРАТУРЫ

1. Hahanov V., Litvinova E., Gharibi W. et al. Quantum Memory-driven Computing for Test Synthesis// Proc. of IEEE East-West Design & Test Symposium (EWDTS’2017). Serbia, Novi Sad, 2017, p. 63-68. ISBN 978-1-5386-3298-7.
2. Хаханов В.И., Ваджеб Гариби, Литвинова Е.И., Шкиль А.С. Кубитные структуры данных вычислительных устройств //Электрон. моделирование. 2015, 37,№1, c. 76—99.
3. Хаханов В.И., Тамер Бани Амер, Чумаченко С.В., Литвинова Е.И. Кубитные технологии анализа и диагностирования цифровых устройств // Там же. 2015, 37, № 3, с. 17—40.
4. Skobtsov Yu.A., Speransky D.V. Analytical method for synthesis recognizing sequences for discrete devices with memory // Autom. Remote Control, 41:1. 1980, p. 97—104.
5. Хаханов В.И., Литвинова Е.И., Хаханова И.В., Гузь О.А. Проектирование и тестирование цифровых систем на кристаллах. Харьков : ХНУРЭ, 2009, 484 с.
6. Pomeranz I., Reddy S.M. Aliasing Computation Using Fault Simulation with Fault Dropping // IEEE Transaction on Computers. 1995, ð. 139—144.
7. Ubar R., Kousaar J., Gorev M., Devadze S. Combinational fault simulation in sequential circuits // 2015 IEEE International Symposium on Circuits and Systems (ISCAS). Lisbon, 2015, p. 2876—2879.
8. Gorev M., Ubar R., Devadze S. Fault simulation with parallel exact critical path tracing in multiple core environment // 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble, 2015, p. 1180—1185.
9. Pomeranz I. Fault simulation with test switching for static test compaction // 2014 IEEE 32nd VLSI Test Symposium (VTS). Napa, CA, 2014, p. 1—6.
10. Molnar L., Gontean A. Fault simulation methodes // 2016 12th IEEE International Symposium on Electronics and Telecommunications (ISETC). Timisoara, Romania. 2016, p. 194—197.
11. Hadjitheophanous S., Neophytou S.N., Michael M.K. Scalable parallel fault simulation for shared-memory multiprocessor systems // 2016 IEEE 34th VLSI Test Symposium (VTS). Las Vegas, NV, 2016, p. 1—6.
12. Mirkhani S., Abraham J.A. EAGLE: A regression model for fault coverage estimation using a simulation based metric // 2014 International Test Conference. Seattle, WA, 2014, p. 1— 10.

ХАХАНОВ Владимир Иванович, д-р техн. наук, профессор, гл. науч. сотр., профессор кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. В 1978 г. окончил Харьковский ин-т радиоэлектроники. Область научных исследований—компьютерная инженерия, киберфизические системы и облачный компьютинг.

ЕМЕЛЬЯНОВ Игорь Валерьевич, аспирант кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники, который окончил в 2007 г. Область научных исследований — компьютерные системы и сервискомпьютинг.

ЛЮБАРСКИЙ Михаил Михайлович, аспирант кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. В 2010 г. окончил Харьковский национальный университет имени В.Н. Каразина. Область научных исследований — компьютерные системы и сервис-компьютинг.

ЧУМАЧЕНКО Светлана Викторовна, д-р техн. наук, профессор, зав. кафедрой автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. В 1991 г. окончила Харьковский национальный университет имени В.Н. Каразина. Область научных исследований — математическое моделирование вычислительных процессов.

ЛИТВИНОВА Евгения Ивановна, д-р техн. наук, профессор, профессор кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. В 1985 г. окончила Харьковский ин-т радиоэлектроники. Область научных исследований — проектирование и тестирование цифровых систем и сетей на кристаллах.

ТАМЕР БАНИ АМЕР, аспирант кафедры автоматизации проектирования вычислительной
техники Харьковского национального университета радиоэлектроники. В 2014 г. окончил
Донецкий национальный технический университет. Область научных исследований —
компьютерные системы и сервис-компьютинг.

Полный текст: PDF (русский)