Value Assertions

CodeLabelSeverity
boe_boe_v0136_h_2boe_v0136_h_2: [FF 02.00.02 (C0010-0020)] {r0670} = +{r0630} + {r0640} + {r0632}ERROR
boe_boe_v0138_h_2boe_v0138_h_2: [FF 02.00.02 (C0010-0020)] {r0630} = +{r0610} - {r0620}ERROR
boe_boe_v0768_m_2boe_v0768_m_2: [FF 01.01.02 (C0010-0020)] {r0380} = {r0010} + {r0050} + {r0091} + {r0096} + {r0100} ...ERROR
boe_boe_v0775_m_2boe_v0775_m_2: [FF 01.02.02 (C0010-0020)] {FF 01.03.02, r0310} = sum({FF 01.02.02, ({r0010}, {r0061} ...ERROR
boe_boe_v0780_m_2boe_v0780_m_2: [FF 01.03.02 (C0010-0020)] {r0300} = {r0010} + {r0040} + {r0050} + {r0080} + {r0090} ...ERROR
boe_boe_v0783_m_2boe_v0783_m_2: [FF 01.03.02 (C0010-0020)] {FF 01.03.02, r0310} = {FF 01.01.02, r0380}ERROR
boe_boe_v0784_m_2boe_v0784_m_2: [FF 01.03.02 (C0010-0020)] {FF 01.03.02, r0300} + {FF 01.02.02, r0300} = {FF 01.01.02 ...ERROR
boe_boe_v0785_m_2boe_v0785_m_2: [FF 01.03.02 (C0010-0020)] {FF 01.03.02, r0310} = {FF 01.03.02, r0300} + {FF 01.02.02 ...ERROR
boe_boe_v0795_m_2boe_v0795_m_2: [FF 02.00.02 (C0010-0020)] {r0610} = {r0010} - {r0090} - {r0150} + {r0160} + {r0200} ...ERROR
boe_boe_v1698_m_2boe_v1698_m_2: [FF 01.02.02 (C0010-0020)] {r0300} = {r0010} + {r0061} + {r0070} + {r0110} + {r0141} ...ERROR
boe_boe_v1699_m_2boe_v1699_m_2: [FF 02.00.02 (C0010-0020)] {r0355} = {r0010} - {r0090} - {r0150} + {r0160} + {r0200} ...ERROR
boe_boe_v2060_s_2boe_v2060_s_2: [FF 01.03.02 (r0240;r0260) (C0010-0020)] {FF 01.03.02} <= 0ERROR
boe_boe_v3899_s_2boe_v3899_s_2: [FF 01.03.02 (r010;r040;r050;r0310) (C0010-0020)] {FF 01.03.02} >= 0ERROR
boe_boe_v3900_s_2boe_v3900_s_2: [FF 02.00.02 (r010;r090;r0150;r0160;r0200;r0210;r0340;r0350;r0360;r0390;r0580) (C0010 ...WARNING
boe_boe_v5653_s_2boe_v5653_s_2: [FF 01.01.02 (r0375) (C0010-0020)] {FF 01.01.02} >= 0WARNING