He hasn't written anything about this ARM1 (yet), but Ken Shirriff (http://www.righto.com/) has some very interesting gate-level explanations about parts of other old processors scanned by the same Visual6502 project. Take a look, for instance, at these posts: http://www.righto.com/search/label/6502