扩大ARM SoC的验证范围，同时缩短模拟运行时间.pdfInformation Quarterly [47] Number 3, Autumn 2005 Information Quarterly [48] Number 3, Autumn 2005 LDR R5, [R9]; -- Read Register LDR R3, [R8+FX]; -- Get const. ADD R3, R3, R5; -- Add const. AND R3, R3, [R8+MK]; -- Mask high bits SUB R3, R3, [R8+DF]; -- Subtract LDR R6, [R8+COSW]; -- Get Data value XOR R3, R3, R6 -- Filter ADD R9, R9, R4; -- Compute offset STR R5, [R9]; -- Write Register LDR R5, [R9]; ……