informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-595Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNПОСТРОЕНИЕ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ДЛЯ ТЕСТИРОВАНИЯ D-ТРИГГЕРОВ СИНХРОННЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМКочановД. А.Объединенный институт проблем информатики НАН БеларусиBelarus20080911201804(20)5058Copyright © Кочанов Д.А., 20182018Кочанов Д.А.Кочанов Д.А.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/595

Предлагается метод тестирования последовательностных схем, элементами памяти которых служат D-триггеры. Метод основывается на инициализации триггера и продвижении установленного в триггере значения на один из внешних полюсов схемы. Для выполнения инициализации предлагается оригинальный метод поиска установочной последовательности входных воздействий.

ReferencesKuehlmann, A. Combinational and sequential equivalence checking / A. Kuehlmann, A.J. Cornelis // Logic synthesis and verification ; ed. by S. Massau, T. Sesao. – N.-Y. : Kluwer Academic Publishers, 2002. – Р. 125–143.Kuehlmann, A. Combinational and sequential equivalence checking / A. Kuehlmann, A.J. Cornelis // Logic synthesis and verification ; ed. by S. Massau, T. Sesao. – N.-Y. : Kluwer Academic Publishers, 2002. – Р. 125–143.Скобцов, Ю.А. Логическое моделирование и тестирование цифровых устройств / Ю.А. Скобцов, В.Ю. Скобцов. – Донецк : ДонНТУ, 2005. – 436 с.Скобцов, Ю.А. Логическое моделирование и тестирование цифровых устройств / Ю.А. Скобцов, В.Ю. Скобцов. – Донецк : ДонНТУ, 2005. – 436 с.Bushnell, M.L. Essentials of electronic testing for digital, memory and mixed-signal VLSI circuits / M.L. Bushnell, D.A. Vishwani. – N.-Y. : Kluwer Academic Publishers, 2002. – 713 p.Bushnell, M.L. Essentials of electronic testing for digital, memory and mixed-signal VLSI circuits / M.L. Bushnell, D.A. Vishwani. – N.-Y. : Kluwer Academic Publishers, 2002. – 713 p.Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 592 с.Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 592 с.Бибило, П.Н. VHDL. Эффективное использование при проектировании цифровых систем / П.Н. Бибило, Н.А. Авдеев. – М. : СОЛОН-ПРЕСС, 2006. – 344 с.Бибило, П.Н. VHDL. Эффективное использование при проектировании цифровых систем / П.Н. Бибило, Н.А. Авдеев. – М. : СОЛОН-ПРЕСС, 2006. – 344 с.Киносита, К. Логическое проектирование СБИС ; пер. с япон. / К. Киносита, К. Асада, О. Карацу. – М. : Мир, 1988. – 309 с.Киносита, К. Логическое проектирование СБИС ; пер. с япон. / К. Киносита, К. Асада, О. Карацу. – М. : Мир, 1988. – 309 с.Скобцов, Ю.А. Многозначные алфавиты в моделировании и построении тестов цифровых устройств / Ю.А. Скобцов // Электронное моделирование. – 1989. – № 3. – С. 54–60.Скобцов, Ю.А. Многозначные алфавиты в моделировании и построении тестов цифровых устройств / Ю.А. Скобцов // Электронное моделирование. – 1989. – № 3. – С. 54–60.

The authors declare that there are no conflicts of interest present.