Value Assertions

CodeLabelSeverity
boe_boe_v0136_h_1boe_v0136_h_1: [FF 02.00.01 (c010-020)] {r670} = +{r630} + {r640}ERROR
boe_boe_v0138_h_1boe_v0138_h_1: [FF 02.00.01 (c010-020)] {r630} = +{r610} - {r620}ERROR
boe_boe_v0768_m_1boe_v0768_m_1: [FF 01.01.01 (c010-020)] {r380} = {r010} + {r050} + {r096} + {r100} + {r141} + {r181} ...ERROR
boe_boe_v0775_m_1boe_v0775_m_1: [FF 01.02.01 (c010-020)] {FF 01.03.01, r310} = sum({FF 01.02.01, ({r010}, {r070}, {r1 ...ERROR
boe_boe_v0780_m_1boe_v0780_m_1: [FF 01.03.01 (c010-020)] {r300} = {r010} + {r040} + {r050} + {r080} + {r090} + {r190} ...ERROR
boe_boe_v0783_m_1boe_v0783_m_1: [FF 01.03.01 (c010-020)] {FF 01.03.01, r310} = {FF 01.01.01, r380}ERROR
boe_boe_v0784_m_1boe_v0784_m_1: [FF 01.03.01 (c010-020)] {FF 01.03.01, r300} + {FF 01.02.01, r300} = {FF 01.01.01, r3 ...ERROR
boe_boe_v0785_m_1boe_v0785_m_1: [FF 01.03.01 (c010-020)] {FF 01.03.01, r310} = {FF 01.03.01, r300} + {FF 01.02.01, r3 ...ERROR
boe_boe_v0795_m_1boe_v0795_m_1: [FF 02.00.01 (c010-020)] {r610} = {r010} - {r090} - {r150} + {r160} + {r200} - {r210} ...ERROR
boe_boe_v1698_m_1boe_v1698_m_1: [FF 01.02.01 (c010-020)] {r300} = {r010} + {r070} + {r110} + {r150} + {r160} + {r170} ...ERROR
boe_boe_v1699_m_1boe_v1699_m_1: [FF 02.00.01 (c010-020)] {r355} = {r010} - {r090} - {r150} + {r160} + {r200} - {r210} ...ERROR
boe_boe_v2060_s_1boe_v2060_s_1: [FF 01.03.01 (r240;r260) (c010-020)] {FF 01.03.01} <= 0ERROR
boe_boe_v3899_s_1boe_v3899_s_1: [FF 01.03.01 (r010;r040;r050;r310) (c010-020)] {FF 01.03.01} >= 0ERROR
boe_boe_v3900_s_1boe_v3900_s_1: [FF 02.00.01 (r010;r090;r150;r160;r200;r210;r340;r350;r360;r390;r580) (c010-020)] {FF ...ERROR