Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/2908
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorМатросова, А. Ю.ru
dc.contributor.authorНиколаева, Е. А.ru
dc.date.accessioned2015-11-20T02:55:36Z-
dc.date.available2015-11-20T02:55:36Z-
dc.date.issued2009-
dc.identifier.citationМатросова А. Ю. Синтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графов / А. Ю. Матросова, Е. А. Николаева // Известия Томского политехнического университета [Известия ТПУ]. — 2009. — Т. 315, № 5: Управление, вычислительная техника и информатика. — [С. 153-159].ru
dc.identifier.issn1684-8519-
dc.identifier.urihttp://earchive.tpu.ru/handle/11683/2908-
dc.description.abstractРассматриваются комбинационные схемы, построенные покрытием системы ROBDD-графов программируемыми логическими блоками. Показывается, что неисправность задержки каждого пути схемы проявляется как робастная. Предлагается алгоритм построения пары тестовых наборов, обнаруживающей неисправность задержки пути. Устанавливается, что один из тестовых наборов пары совпадает с тестовым набором для одиночной константной неисправности на входном полюсе программируемого логического блока, являющимся началом этого пути. Второй набор получается из первого заменой значения переменной, сопоставляемой началу пути, инверсным. Тест, обнаруживающий робастные неисправности задержек всех путей, обнаруживает все кратные неисправности задержек путей схемы.ru
dc.format.mimetypeapplication/pdf-
dc.language.isoruen
dc.publisherТомский политехнический университетru
dc.relation.ispartofИзвестия Томского политехнического университета [Известия ТПУ]. 2009. Т. 315, № 5: Управление, вычислительная техника и информатика-
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.sourceИзвестия Томского политехнического университета-
dc.subjectкомбинационные схемы-
dc.subjectROBDD-графы-
dc.subjectпути схемы-
dc.subjectзадержки-
dc.subjectнеисправности-
dc.subjectробастные неисправности-
dc.titleСинтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графовru
dc.typeArticleen
dc.typeinfo:eu-repo/semantics/publishedVersionen
dc.typeinfo:eu-repo/semantics/articleen
dcterms.audienceResearchesen
local.description.firstpage153-
local.description.lastpage159-
local.filepathhttp://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2009/v315/i5/31.pdf-
local.identifier.bibrecRU\TPU\book\192359-
local.issue5-
local.localtypeСтатьяru
local.volume315-
Располагается в коллекциях:Известия Томского политехнического университета. Инжиниринг георесурсов

Файлы этого ресурса:
Файл Описание РазмерФормат 
bulletin_tpu-2009-315-5-31.pdf5,39 MBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.