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

blkrep_rule_lookup_normal.m

Правило, которое заменяет блоки 1-D Lookup Table реализацией, которая включает цели тестирования для каждой точки останова и интервал, заданный параметром Breakpoints.

blkrep_rule_lookup2D_normal.m

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

blkrep_rule_mpswitch2_normal.m

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

blkrep_rule_mpswitch3_normal.m

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

blkrep_rule_mpswitch4_normal.m

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

blkrep_rule_mpswitch5_normal.m

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

blkrep_rule_switch_normal.m

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

blkrep_rule_switch_nonvir_normal.m

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

blkrep_rule_selector
   IndexVecPort_normal.m

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

blkrep_rule_selector
   StartingIdxPort_normal.m

Правило, которое добавляет блок Test Condition/Proof Assumption к индексному порту Selector блоков, чей параметр Index Option Starting index (port). Блок Test Condition/Proof Assumption ограничивает значения сигналов интервалом, конечные точки которого получают из значений параметров Input port size, Output size и Index mode блока Selector.