Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар	545 KB	Adobe Acrobat PDF	Read	Download

#логические схемы

#неисправности задержек путей

#робастно тестируемые неисправности задержек путей

#ROBDD-графы

#тестовые пары

Title: Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар
Creator: Матросова, Анжела Юрьевна
|
Митрофанов, Евгений Владимирович
|
Ахунова, Дина Иманбековна
Date: 2015
Description: Одним из важных свойств физических систем является надежность их функционирования, которая достигается, в том числе, надежностью компонент, в частности надежностью логических управляющих компонент. Разработан новый подход к синтезу тестопригодных логических схем, в которых задержка каждого пути обнаружима, позволяющий по сравнению с известными ранее методами упростить структуры синтезируемых схем и сократить длины путей в них. Для компактного представления информации обо всех тестовых парах, обнаруживающих неисправности задержек путей, предложено хранить порождающие их векторы. Число порождающих векторов не превосходит удвоенного числа внутренних вершин ROBDD-графа, в то время как число путей в схеме может экспоненциально зависеть от числа этих вершин. Предложен метод извлечения тестовых пар, обнаруживающих неисправности задержек путей из порождающих векторов. Процедура извлечения тестовых пар не требует существенных вычислительных затрат, а порождающие векторы находятся алгоритмом полиномиальной сложности.

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.) | Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 9. С. 105-114
Language: rus

Created: 25-06-2024

239 Visitors

199 Hits

46 Downloads

Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)

Журналы ТГУ Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар