SystemC DMR ARM7