Please use this identifier to cite or link to this item: http://earchive.tpu.ru/handle/11683/2908
Title: Синтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графов
Authors: Матросова, А. Ю.
Николаева, Е. А.
Keywords: комбинационные схемы; ROBDD-графы; пути схемы; задержки; неисправности; робастные неисправности
Issue Date: 2009
Publisher: Томский политехнический университет
Citation: Матросова А. Ю. Синтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графов / А. Ю. Матросова, Е. А. Николаева // Известия Томского политехнического университета [Известия ТПУ]. — 2009. — Т. 315, № 5: Управление, вычислительная техника и информатика. — [С. 153-159].
Abstract: Рассматриваются комбинационные схемы, построенные покрытием системы ROBDD-графов программируемыми логическими блоками. Показывается, что неисправность задержки каждого пути схемы проявляется как робастная. Предлагается алгоритм построения пары тестовых наборов, обнаруживающей неисправность задержки пути. Устанавливается, что один из тестовых наборов пары совпадает с тестовым набором для одиночной константной неисправности на входном полюсе программируемого логического блока, являющимся началом этого пути. Второй набор получается из первого заменой значения переменной, сопоставляемой началу пути, инверсным. Тест, обнаруживающий робастные неисправности задержек всех путей, обнаруживает все кратные неисправности задержек путей схемы.
URI: http://earchive.tpu.ru/handle/11683/2908
ISSN: 1684-8519
Appears in Collections:Известия ТПУ

Files in This Item:
File Description SizeFormat 
bulletin_tpu-2009-315-5-31.pdf5,39 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.