Синтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графов; Известия Томского политехнического университета [Известия ТПУ]; Т. 315, № 5: Управление, вычислительная техника и информатика

Detaylı Bibliyografya
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 315, № 5: Управление, вычислительная техника и информатика.— 2009.— [С. 153-159]
Yazar:	Матросова А. Ю.
Diğer Yazarlar:	Николаева Е. А.
Özet:	Заглавие с титульного листа Электронная версия печатной публикации Рассматриваются комбинационные схемы, построенные покрытием системы ROBDD-графов программируемыми логическими блоками. Показывается, что неисправность задержки каждого пути схемы проявляется как робастная. Предлагается алгоритм построения пары тестовых наборов, обнаруживающей неисправность задержки пути. Устанавливается, что один из тестовых наборов пары совпадает с тестовым набором для одиночной константной неисправности на входном полюсе программируемого логического блока, являющимся началом этого пути. Второй набор получается из первого заменой значения переменной, сопоставляемой началу пути, инверсным. Тест, обнаруживающий робастные неисправности задержек всех путей, обнаруживает все кратные неисправности задержек путей схемы.
Dil:	Rusça
Baskı/Yayın Bilgisi:	2009
Seri Bilgileri:	Управление, вычислительная техника и информатика
Konular:	комбинационные схемы ROBDD-графы схемы задержки неисправности робастные неисправности труды учёных ТПУ электронный ресурс
Online Erişim:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2009/v315/i5/31.pdf
Materyal Türü:	Elektronik Kitap Bölümü
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=177445

MARC


LEADER	00000nla2a2200000 4500
001	177445
005	20231031165625.0
035			\|a (RuTPU)RU\TPU\book\192359
035			\|a RU\TPU\book\192355
090			\|a 177445
100			\|a 20100317d2009 k y0rusy50 ca
101	0		\|a rus
102			\|a RU
135			\|a drnn ---uucaa
181		0	\|a i
182		0	\|a b
200	1		\|a Синтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графов \|b Электронный ресурс \|f А. Ю. Матросова, Е. А. Николаева
203			\|a Текст \|c электронный
215			\|a 1 файл (5.3 Мб)
225	1		\|a Управление, вычислительная техника и информатика
230			\|a Электронные текстовые данные (1 файл : 5.3 Мб)
300			\|a Заглавие с титульного листа
300			\|a Электронная версия печатной публикации
320			\|a [Библиогр.: с. 159 (7 назв.)]
330			\|a Рассматриваются комбинационные схемы, построенные покрытием системы ROBDD-графов программируемыми логическими блоками. Показывается, что неисправность задержки каждого пути схемы проявляется как робастная. Предлагается алгоритм построения пары тестовых наборов, обнаруживающей неисправность задержки пути. Устанавливается, что один из тестовых наборов пары совпадает с тестовым набором для одиночной константной неисправности на входном полюсе программируемого логического блока, являющимся началом этого пути. Второй набор получается из первого заменой значения переменной, сопоставляемой началу пути, инверсным. Тест, обнаруживающий робастные неисправности задержек всех путей, обнаруживает все кратные неисправности задержек путей схемы.
337			\|a Adobe Reader
461		1	\|0 (RuTPU)RU\TPU\book\176237 \|t Известия Томского политехнического университета [Известия ТПУ] \|f Томский политехнический университет (ТПУ) \|d 2000-
463		1	\|0 (RuTPU)RU\TPU\book\192268 \|x 1684-8519 \|t Т. 315, № 5: Управление, вычислительная техника и информатика \|v [С. 153-159] \|d 2009 \|p 212 с.
610	1		\|a комбинационные схемы
610	1		\|a ROBDD-графы
610	1		\|a схемы
610	1		\|a задержки
610	1		\|a неисправности
610	1		\|a робастные неисправности
610	1		\|a труды учёных ТПУ
610	1		\|a электронный ресурс
700		1	\|a Матросова \|b А. Ю.
701		1	\|a Николаева \|b Е. А.
801		1	\|a RU \|b 63413507 \|c 20090623 \|g PSBO
801		2	\|a RU \|b 63413507 \|c 20170209 \|g PSBO
856	4		\|u http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2009/v315/i5/31.pdf
942			\|c CF

MARC

Benzer Materyaller