Документация

blkrep_rule_lookup_normal.m

Правило, которое заменяет 1-D блоки Справочной таблицы внедрением, которое включает испытательные цели для каждой контрольной точки и интервала, определенного параметром Контрольных точек.

blkrep_rule_lookup2D_normal.m

Правило, добавляющее блоки Test Condition/Proof Absulation к входным портам блоков таблицы поиска 2-D. Каждый блок Test Condition/Proof Absulation ограничивает значения сигнала интервалом, заданным соответствующим вектором точки останова.

blkrep_rule_mpswitch2_normal.m

Правило, добавляющее блок Test Condition/Proof Summission к входному порту управления блоков Multiport Switch, параметр Number of data ports которого имеет значение 2. Блок Test Condition/Proof Absulation ограничивает значения сигнала интервалом [1, 2] (или [0, 1], если блок использует индексирование на основе нуля).

blkrep_rule_mpswitch3_normal.m

Правило, добавляющее блок Test Condition/Proof Summission к входному порту управления блоков Multiport Switch, параметр Number of data ports которого имеет значение 3. Блок Test Condition/Proof Absulation ограничивает значения сигнала интервалом [1, 3] (или [0, 2], если блок использует индексирование на основе нуля).

blkrep_rule_mpswitch4_normal.m

Правило, добавляющее блок Test Condition/Proof Summission к входному порту управления блоков Multiport Switch, параметр Number of data ports которого имеет значение 4. Блок Test Condition/Proof Absulation ограничивает значения сигнала интервалом [1, 4] (или [0, 3], если блок использует индексирование на основе нуля).

blkrep_rule_mpswitch5_normal.m

Правило, добавляющее блок Test Condition/Proof Summission к входному порту управления блоков Multiport Switch, параметр Number of data ports которого имеет значение 5. Блок Test Condition/Proof Absulation ограничивает значения сигнала интервалом [1, 5] (или [0, 4], если блок использует индексирование на основе нуля).

blkrep_rule_switch_normal.m

Правило, заменяющее блоки коммутатора реализацией, включающей цели тестирования, требующее, чтобы каждое положение коммутатора выполнялось, когда значения первого и третьего входных портов различны.

blkrep_rule_switch_nonvir_normal.m

Правило, которое заменяет блоки Switch, имеющие невиртуальные входы шины, реализацией, которая преобразует невиртуальные входы шины в виртуальные входы шины. Эта реализация включает в себя цели тестирования и требует, чтобы каждое положение коммутатора выполнялось, когда значения первого и третьего входных портов различны.

blkrep_rule_selector
   IndexVecPort_normal.m

Правило, добавляющее блок Test Condition/Proof Absulation к порту индекса блоков селектора, параметром Index Option которых является Index vector (port). Блок Test Condition/Proof Absulation ограничивает значения сигналов интервалом, конечные точки которого получаются из значений параметров входного порта и режима индекса блока селектора.

blkrep_rule_selector
   StartingIdxPort_normal.m

Правило, добавляющее блок Test Condition/Proof Absulation к порту индекса блоков селектора, параметром Index Option которых является Starting index (port). Блок Test Condition/Proof Absulation ограничивает значения сигналов интервалом, конечные точки которого получаются из значений параметров входного порта блока селектора, выходного размера и режима индекса.