I wonder if such accuracy is necessary for emulating newer systems. I don't think my PS3 games are updating the graphics hardware mid-scanline. If modern systems have more relaxed timing requirements, then a much simpler binary translation may be enough. You no longer have to model the hardware, just the abstraction layer that the game itself is written against.