Many
claim the two models are equivalent, since virtual can be emulated
Theyre
not equivalent because ...
Emulation misses the advantages of long instruction sequences
pipelining
caching
prefetch
Virtual misses
significant costs of local shifting: V:=V@right