ПОСТРОЕНИЕ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ДЛЯ ТЕСТИРОВАНИЯ D-ТРИГГЕРОВ СИНХРОННЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ
Abstract
Предлагается метод тестирования последовательностных схем, элементами памяти которых служат D-триггеры. Метод основывается на инициализации триггера и продвижении установленного в триггере значения на один из внешних полюсов схемы. Для выполнения инициализации предлагается оригинальный метод поиска установочной последовательности входных воздействий.
References
1. 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.
2. Скобцов, Ю.А. Логическое моделирование и тестирование цифровых устройств / Ю.А. Скобцов, В.Ю. Скобцов. – Донецк : ДонНТУ, 2005. – 436 с.
3. 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.
4. Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 592 с.
5. Бибило, П.Н. VHDL. Эффективное использование при проектировании цифровых систем / П.Н. Бибило, Н.А. Авдеев. – М. : СОЛОН-ПРЕСС, 2006. – 344 с.
6. Киносита, К. Логическое проектирование СБИС ; пер. с япон. / К. Киносита, К. Асада, О. Карацу. – М. : Мир, 1988. – 309 с.
7. Скобцов, Ю.А. Многозначные алфавиты в моделировании и построении тестов цифровых устройств / Ю.А. Скобцов // Электронное моделирование. – 1989. – № 3. – С. 54–60.
Review
For citations:
. Informatics. 2008;(4(20)):50-58. (In Russ.)
Views: 438
Email this article 