В.И. Хаханов, д-р техн. наук, И.В. Емельянов, аспирант,
М.М. Любарский, аспирант, С.В. Чумаченко, д-р техн. наук,
Е.И. Литвинова, д-р техн. наук, Тамер Бани Амер, аспирант
Харьковский национальный университет радиоэлектроники
(Украина, 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 (русский)

Go to top