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

blkrep_rule_lookup_normal.m

blkrep_rule_lookup_configss.m

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

blkrep_rule_lookup2D_normal.m

blkrep_rule_lookup2D_configss.m

Правило, которое добавляет Условие испытания / блоки Предположения Доказательства к входным портам 2D блоков Интерполяционной таблицы. Каждое Условие испытания / блок Proof Assumption ограничивает значения сигналов к интервалу, заданному соответствующим вектором точки останова.

blkrep_rule_mpswitch2_normal.m

blkrep_rule_mpswitch2_configss.m

Правило, которое добавляет Условие испытания / блок Proof Assumption к входному порту управления Многопортовых блоков switch, параметром Number of data ports которых является 2. Условие испытания / блок Proof Assumption ограничивает значения сигналов к интервалу [1, 2] (или [0, 1], если блок использует основанную на нуле индексацию).

blkrep_rule_mpswitch3_normal.m

blkrep_rule_mpswitch3_configss.m

Правило, которое добавляет Условие испытания / блок Proof Assumption к входному порту управления Многопортовых блоков switch, параметром Number of data ports которых является 3. Условие испытания / блок Proof Assumption ограничивает значения сигналов к интервалу [1, 3] (или [0, 2], если блок использует основанную на нуле индексацию).

blkrep_rule_mpswitch4_normal.m

blkrep_rule_mpswitch4_configss.m

Правило, которое добавляет Условие испытания / блок Proof Assumption к входному порту управления Многопортовых блоков switch, параметром Number of data ports которых является 4. Условие испытания / блок Proof Assumption ограничивает значения сигналов к интервалу [1, 4] (или [0, 3], если блок использует основанную на нуле индексацию).

blkrep_rule_mpswitch5_normal.m

blkrep_rule_mpswitch5_configss.m

Правило, которое добавляет Условие испытания / блок Proof Assumption к входному порту управления Многопортовых блоков switch, параметром Number of data ports которых является 5. Условие испытания / блок Proof Assumption ограничивает значения сигналов к интервалу [1, 5] (или [0, 4], если блок использует основанную на нуле индексацию).

blkrep_rule_switch_normal.m

blkrep_rule_switch_configss.m

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

blkrep_rule_selector
   IndexVecPort_normal.m

blkrep_rule_selector
   IndexVecPort_configss.m

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

blkrep_rule_selector
   StartingIdxPort_normal.m

blkrep_rule_selector
   StartingIdxPort_configss.m

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