Value Assertions

CodeLabelSeverity
boe_boe_v0136_h_2boe_v0136_h_2: [FF 02.00.02 (c010-020)] {r670} = +{r630} + {r640} + {r632}ERROR
boe_boe_v0138_h_2boe_v0138_h_2: [FF 02.00.02 (c010-020)] {r630} = +{r610} - {r620}ERROR
boe_boe_v0768_m_2boe_v0768_m_2: [FF 01.01.02 (c010-020)] {r380} = {r010} + {r050} + {r091} + {r096} + {r100} + {r141} ...ERROR
boe_boe_v0775_m_2boe_v0775_m_2: [FF 01.02.02 (c010-020)] {FF 01.03.02, r310} = sum({FF 01.02.02, ({r010}, {r061}, {r0 ...ERROR
boe_boe_v0780_m_2boe_v0780_m_2: [FF 01.03.02 (c010-020)] {r300} = {r010} + {r040} + {r050} + {r080} + {r090} + {r190} ...ERROR
boe_boe_v0783_m_2boe_v0783_m_2: [FF 01.03.02 (c010-020)] {FF 01.03.02, r310} = {FF 01.01.02, r380}ERROR
boe_boe_v0784_m_2boe_v0784_m_2: [FF 01.03.02 (c010-020)] {FF 01.03.02, r300} + {FF 01.02.02, r300} = {FF 01.01.02, r3 ...ERROR
boe_boe_v0785_m_2boe_v0785_m_2: [FF 01.03.02 (c010-020)] {FF 01.03.02, r310} = {FF 01.03.02, r300} + {FF 01.02.02, r3 ...ERROR
boe_boe_v0795_m_2boe_v0795_m_2: [FF 02.00.02 (c010-020)] {r610} = {r010} - {r090} - {r150} + {r160} + {r200} - {r210} ...ERROR
boe_boe_v1698_m_2boe_v1698_m_2: [FF 01.02.02 (c010-020)] {r300} = {r010} + {r061} + {r070} + {r110} + {r141} + {r150} ...ERROR
boe_boe_v1699_m_2boe_v1699_m_2: [FF 02.00.02 (c010-020)] {r355} = {r010} - {r090} - {r150} + {r160} + {r200} - {r210} ...ERROR
boe_boe_v2060_s_2boe_v2060_s_2: [FF 01.03.02 (r240;r260) (c010-020)] {FF 01.03.02} <= 0ERROR
boe_boe_v3899_s_2boe_v3899_s_2: [FF 01.03.02 (r010;r040;r050;r310) (c010-020)] {FF 01.03.02} >= 0ERROR
boe_boe_v3900_s_2boe_v3900_s_2: [FF 02.00.02 (r010;r090;r150;r160;r200;r210;r340;r350;r360;r390;r580) (c010-020)] {FF ...ERROR
boe_boe_v5653_s_2boe_v5653_s_2: [FF 01.01.02 (r375) (c010-020)] {FF 01.01.02} >= 0ERROR