#include "simulator.hpp"

START_TEST_CASE(exp20_tlx_err_rpt_1)

CHIP(ocmb1, EXPLORER_20)

START_ITERATION

REG_SCOM(ocmb1, 0x08040001, 0x0040000000000000) // OCMB_CHIPLET_RE_FIR[9]
REG_SCOM(ocmb1, 0x08012400, 0x0040000000000000) // TLXFIR[9]
REG_SCOM(ocmb1, 0x08012407, 0x0040000000000000) // TLXFIR_ACT1
REG_SCOM(ocmb1, 0x0801241D, 0x0000000001000000) // TLX_ERR_RPT_1[39]

EXP_SIG(ocmb1, 0xd512, 0, 39, RECOVERABLE)

END_ITERATION

END_TEST_CASE