В свойствах вывода в Part Developer можно включить/отключить опцию Check Assert.

В доках написано следующее:
Check Assert
Determines if the pin is to have an assertion check. The property written in the chips.prt
file in case this option is not checked is NO_ASSERT_CHECK=TRUE.

Кто может объяснить что это за проверка? В Rules Checker User Guide ничего не нашел....