Verilog DMR ARM7