#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 |