PC
PROG
RF
Oport
Iport
+1
ALU
Proc( pc, rf, prog, bf ) if r1_target(bf) _ r2_target(bf)
where Add(r, r1, r2)=prog[pc]
_ _Proc( pc+1, rf, prog, enq(bf,Addd(r,rf[r1],rf[r2])) )
BF