na_0001: Bitwise Stateflow operators
The bitwise Stateflow operators (&, |, and ^) should not be used in Stateflow charts unless you want bitwise operations:
To enable bitwise operations,
Select File > Chart Properties.
Select Enable C-bit operations.
| for bit
| for Boolean
Verification and Validation
By Task > Modeling Standards for MAAB > Stateflow > Check for bitwise operations in Stateflow charts
For check details, see Check for bitwise operations in Stateflow charts (Simulink Verification and Validation).