Метод синтеза формирователя тестовой последовательности с перестраиваемыми параметрами, основанный на представлении логических функций в обобщенной форме

работа выполнена при финансовой поддержке Министерства науки и высшего образования Российской Федерации в рамках соглашения № 075-11-2019-070 от 29.11.2019 г.

Авторы

  • Елена Николаевна Коробкова Белгородский государственный технологический университет им. В.Г. Шухова
  • Оксана Витальевна Луценко Белгородский государственный технологический университет им. В.Г. Шухова
  • Василий Григорьевич Рубанов Белгородский государственный технологический университет им. В.Г. Шухова

DOI:

https://doi.org/10.18413/2687-0932-2020-43-3-583-599

Ключевые слова:

работоспособность, контроль, диагностика, тестовый контент, формирователь, цифровой автомат, настроечные переменные, обобщенная логическая функция, минтермы, литералы, импликанты

Аннотация

Предложен метод синтеза формирователя тестовых сигналов с перестраиваемыми временными параметрами тестового контента в зависимости от необходимости изменения глубины контроля в процессе оценки технического состояния синтезируемого цифрового автомата. Используется представление логических функций в обобщенной форме, когда рассматривается более широкая трактовка основной теоремы алгебры логики, предполагающая введение дополнительных переменных, кроме нуля и единицы, которые могу приобретать значения функции в точках её области определения. Излагается методика синтеза структуры цифрового автомата, генерирующего тестовую
периодическую посылку, заданной конфигурации. Иллюстрация методики проведена на версии алгоритма нахождения кодов настройки на заданный режим, пригодной для программной реализации. Приведен пример, демонстрирующий реализацию заданного теста с произвольной конфигурацией.

Биографии авторов

Елена Николаевна Коробкова , Белгородский государственный технологический университет им. В.Г. Шухова

кандидат технических наук, доцент, доцент кафедры технической кибернетики БГТУ им. В.Г. Шухова,

Белгород, Россия

Оксана Витальевна Луценко , Белгородский государственный технологический университет им. В.Г. Шухова

кандидат технических наук, доцент, доцент кафедры стандартизации и управления качеством БГТУ
им. В.Г. Шухова,

Белгород, Россия

Василий Григорьевич Рубанов , Белгородский государственный технологический университет им. В.Г. Шухова

доктор технических наук, профессор, заведующий кафедрой технической кибернетики БГТУ им.
В.Г. Шухова,

Белгород, Россия

Библиографические ссылки

Бессонов А.А., Стешкович Н.Т., Турчина Е.Д. 1986. Автоматизация построения контролирующих тестов. Я., Энергия, 224.

Бондаренко М.Ф., Кривуля Г.Ф., Рябцев В.Г., Фрадков С.А., Хаханов В.И. 2000. Проектирование и диагностика компьютерных систем и сетей. К., НМЦ ВО, 306.

Горовой А.А., Ващевский В.Ф., Доценко Б.И., Рубанов В.Г., Черняк С.П. 1990. Микропроцессорные агрегатные комплексы для диагностирования технических систем. К., Техника, 168.

Рубанов В.Г., Коробкова Е.Н. 2008. Логическое проектирование цифровых устройств, основанное на представлении функций в обобщенной форме. Белгород, Изд-во БГТУ, 335.

Рубанов В.Г., Коробкова Е.Н. 2009. Методы анализа и синтеза цифровых устройств (проектирование цифровых элементов автоматики и вычислительной техники). Белгород, Изд-во БГТУ, 291.

Рубанов В.Г. 2011. Системный подход к проектированию управляемых мобильных логических средств, обладающих свойством живучести. 176–187.

Рубанов В.Г., Коробкова Е.Н., Кариков Е.Б. 2020. Формирователь периодической последовательности импульсов. Патент РФ №2019124598. Бюл. 12.

Тюрев С.Ф. 2004. Функционально-полные толерантные булевы функции и цифровые схемы на их основе. Пермь, ПГСА, 118.

Чжен Г., Меннинг Г. Метц Г. 1972. Диагностика отказов цифровых вычислительных систем. М., Мир, 232 (Zheng G., Menning G., Metz G. 1972. Diagnostics of failures of digital computing systems. IEEE Transactions on Systems Man and Cybernetics 3 (3): 301–301).

Amyeen M. Enamul, Kim Dongok, Chandrasekar Maheshwar, Noman Mohammad, Venkataraman Srikanth, Jain Anurag, Goel Neha, Sharma Ramesh. 2016. A novel diagnostic test generation methodology and its application in production failure isolation, in 2016 IEEE International Test Conference (ITC), 15–17.

Bartenstein T. 2000. Fault Distinguishing Pattern Generation, in Proc. IEEE Int. Test Conf.

Bernardi P., et. al. 2008. An Effective Technique for the Automatic Generation of Diagnosis-Oriented Programs for Processor Cores, in Proc. IEEE Trans. on CAD of Integrated Circuits and Systems.

Bhatti N.K, Blanton R.D. 2006. Diagnostic Test Generation for Arbitrary Faults, in Proc. IEEE Int. Test Conf.

Chandrasekar M., Hsiao M.S. 2009. Diagnostic Test Generation for silicon diagnosis with an incremental learning framework based on search state compatibility, in Proc. IEEE High Level Design Validation and Test Workshop, 68–75.

Chandrasekar M., Rahagude N.P., Hsiao M.S. 2010. Search State Compatibility based Incremental Learning Framework and output deviation based X-filling for diagnostic test generation, Springer Journal of Electronic Testing, vol. 26, no. 2, 165–176.

Corno F., Prinetto P., Rebaudengo M., Reorda M. Sonza. 1995. GARDA: A Diagnostic ATPG for Large Synchronous Sequential Circuits, in Proc. European Design and Test Conf., 267–271.

Desineni R., Poku O., Blanton R.D. 2006. A logic diagnosis methodology for improved localization and extraction of accurate defect behavior, in Test Conference, ITC’06. IEEE International. IEEE.

Girard P., Landrault G., Pravossoudovitch S., Rodriguez B. 1996. A Diagnostic ATPG for Delay Faults based on Genetic Algorithm, in Proc. IEEE Int. Test Conf.

Gruning T., Mahlstedt U., Koopmeiners H. 1991. DIATEST: A Fast Diagnostic Test Pattern Generator for Combinational Circuits, in Proc. IEEE Int. Conf. Computer-Aided Design, 194–197.

Li Z., Goel S.K., Lee F., Chakrabarty K. 2015. Efficient observationpoint insertion for diagnosability enhancement in digital circuits, in Proc. IEEE Int. Test Conf., 1–10.

Lin Y.-T., Poku O., Bhatti N.K., Blanton R.D. 2008. Physically-aware n-detect test pattern selection, in Proceedings of the conference on Design, automation and test in Europe. ACM, 634–639.

Medina P. Camurati D., Prinetto P., Reorda M. Sonza. 1990. A Diagnostic Test Pattern Generation Algorithm, in Proc. IEEE Int. Test Conf., 52–58.

Pomeranz I. 2012. Gradual diagnostic test generation and observation point insertion based on the structural distance between indistinguished fault pairs IEEE Trans. Very Large Scale Integr.(VLSI) Syst., vol. 20, no. 6, 1026–1035.

Riefert A., Sauer M., Reddy S., Becker B. 2015. Improving diagnosis resolution of a fault detection test set, in VLSI Test Symposium (VTS) IEEE 33rd. IEEE.

Tanwir Sarmad, Hsiao Michael S., Lingappan Loganathan. 2016. Hardware-in-the-loop Model-Less Diagnostic Test Generation, in 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT), 128–133.

Wang S., Wei W. 2009. Machine learning-based volume diagnosis, in Design, Automation & Test in Europe Conference & Exhibition, 902–905.

Wu Cheng-Hung, Lin Sheng-Lin, Lee Kuen-Jong, Reddy Sudhakar M. 2018. A Repair-for-Diagnosis Methodology for Logic Circuits, in IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2254–2267.

Xue Y., Poku O., Li X., Blanton R.D. 2013. Padre: physically-aware diagnostic resolution enhancement, in Test Conference (ITC), IEEE International, IEEE.

Yu X., Blanton R. 2012. Diagnosis-assisted adaptive test, Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactionson, vol. 31, no. 9, 1405–1416.


Просмотров аннотации: 85

Опубликован

2020-10-30

Как цитировать

Коробкова , Е. Н., Луценко , О. В., & Рубанов , В. Г. (2020). Метод синтеза формирователя тестовой последовательности с перестраиваемыми параметрами, основанный на представлении логических функций в обобщенной форме: работа выполнена при финансовой поддержке Министерства науки и высшего образования Российской Федерации в рамках соглашения № 075-11-2019-070 от 29.11.2019 г. Экономика. Информатика, 43(3), 583-599. https://doi.org/10.18413/2687-0932-2020-43-3-583-599

Выпуск

Раздел

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ

Наиболее читаемые статьи этого автора (авторов)