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