18.07.2013 Views

àâòîðåô Èâ 07_02 - Kharkiv National University of Radio Electronics

àâòîðåô Èâ 07_02 - Kharkiv National University of Radio Electronics

àâòîðåô Èâ 07_02 - Kharkiv National University of Radio Electronics

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

11<br />

рівень деталізації при діагностуванні, коли заміна розглянутого несправного<br />

функціонального блоку занадто дорога:<br />

m k<br />

rs<br />

n r rs rs<br />

B = [B<br />

ij<br />

], cardB = ∑ ∑ ∑ B ,<br />

ij<br />

r = 1 s=<br />

1 j=<br />

1<br />

де n – кількість рівнів мультидерева<br />

діагностування; m r – кількість функціональних<br />

блоків та компонентів на рівні r; k rs – число<br />

компонентів в таблиці<br />

rs<br />

B ; B {0,1}<br />

rs<br />

ij<br />

= –<br />

компонент таблиці активізації, визначений<br />

сигналами перевірки (неперевірки)<br />

Рис. 4. Фрагмент<br />

функціонального модуля тест-сегментом T<br />

i-Ai<br />

мультидерева відносно спостережуваного монітора A i . Кожна<br />

діагностування SoC вершина-таблиця має число вихідних донизу дуг,<br />

що дорівнює кількості функціональних блоків, які<br />

діагностуються (представлені) в таблиці активізації. Структура мультидерева,<br />

відповідна моделі багаторівневого діагностування, наведена на рис. 4.<br />

Рис. 5. «Движок» обходу<br />

мультидерева<br />

Процес модель або метод пошуку дефектів за<br />

мультидеревом діагностування зводиться до<br />

створення «движка», рис. 5, для спуску за<br />

однією з гілок дерева на таку глибину, яка<br />

задовольняє користувача за ступенем<br />

⎧ r+ 1, s<br />

⎪<br />

0 → {B , R};<br />

деталізації: B<br />

rs<br />

⊕ A<br />

rs<br />

j<br />

j<br />

= ⎨<br />

⎪1<br />

→ {B<br />

rs<br />

⎩ j+<br />

1,<br />

, T}.<br />

Тут виконується векторна xor-операція між<br />

стовпцями матриці та вектором<br />

експериментальної перевірки<br />

rs<br />

A , який<br />

визначається реакцією функціональності,<br />

знятої з моніторів (асерції або розряди регістра<br />

граничного сканування) при подачі всіх тестсегментів.<br />

Якщо хоча б одна координата<br />

rs rs<br />

B<br />

j<br />

⊕ A = , то виконується<br />

отриманої векторної xor-суми дорівнює нулю 0<br />

одна з дій: перехід до матриці активізації нижнього рівня<br />

відновлення працездатності функціонального блоку<br />

r 1, s<br />

B<br />

j<br />

+<br />

або<br />

rs<br />

B<br />

j<br />

. При цьому

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!