Использование ROBDD-графов для тестирования задержек логических схем

doi:10.17223/00213411/62/5/86

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

Add to "Quick Collection"

Description	Size	Format
Использование ROBDD-графов для тестирования задержек логических схем	471 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/00213411/62/5/86

#ROBDD-графы

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

#робастно тестируемый путь

#комбинационные схемы

Title: Использование ROBDD-графов для тестирования задержек логических схем
Creator: Андреева, Валентина Валерьевна
|
Тычинский, Вячеслав Зиновьевич
|
Гошин, Геннадий Георгиевич
|
Матросова, Анжела Юрьевна
Date: 2019
DOI: 10.17223/00213411/62/5/86
Description: С увеличением быстродействия интегральных схем и ростом уровня их интеграции возможно возникновение непредусмотренных емкостей, индуктивностей и т.д., приводящих к снижению расчетного быстродействия схемы. Эти дефекты не удается купировать физическими методами. Одним из основных средств анализа таких ситуаций является тестирование схем в рамках логических моделей неисправностей задержек путей. В данной работе исследуются возможности улучшения качества тестовых последовательностей, обнаруживающих неисправности задержек путей, связанные с использованием ROBDD(Reduced Ordered Binary Decision Diagrams)- графов, компактно представляющих все пары тестовых наборов для пути в схеме. Речь идет о парах соседних булевых векторов, отличающихся значением одной компоненты. Устанавливается, что использование таких ROBDD-графов позволяет существенно (более чем на 1/3) сокращать длину тестовой последовательности по сравнению с традиционными методами сканирования (ориентированными на эвристические подходы к получению тестовых пар) при одновременном улучшении качества тестирования. Под качеством тестирование здесь понимается обнаружение задержки каждого робастно тестируемого пути (полнота тестовой последовательности), снижение потребляемой при тестировании мощности и снижение пиковой потребляемой мощности для смежных наборов тестовой последовательности. Потребляемая мощность оценивается общим числом смен значений сигналов в пределах тестовой последовательности.

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Identifier: смотреть в электронном каталоге НБ ТГУ
Rights: Resource access is available in the premises of Research Library
Type: статьи в журналах
Source: Известия высших учебных заведений. Физика. 2019. Т. 62, № 5. С. 86-94
Language: rus

Created: 02-10-2020

773 Visitors

776 Hits

7 Downloads

Институт прикладной математики и компьютерных наук (c 01.09.2017 г.) Использование ROBDD-графов для тестирования задержек логических схем