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

blkrep_rule_lookup_normal.m

blkrep_rule_lookup_configss.m

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

blkrep_rule_lookup2D_normal.m

blkrep_rule_lookup2D_configss.m

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

blkrep_rule_mpswitch2_normal.m

blkrep_rule_mpswitch2_configss.m

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

blkrep_rule_mpswitch3_normal.m

blkrep_rule_mpswitch3_configss.m

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

blkrep_rule_mpswitch4_normal.m

blkrep_rule_mpswitch4_configss.m

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

blkrep_rule_mpswitch5_normal.m

blkrep_rule_mpswitch5_configss.m

Правило, которое добавляет Условие испытания / блок Proof Assumption к входному порту управления блоков Multiport 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_switch_nonvir_normal.m

blkrep_rule_switch_nonvir_configss.m

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

blkrep_rule_selector
   IndexVecPort_normal.m

blkrep_rule_selector
   IndexVecPort_configss.m

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