Before we discount math folk...I *did* think of a way to go a long way towards a *proof* of the correctness of an emulator, at least relative to another emulator. :)
Every ARM emulator accepts 32 bit instructions. 32 bits is "only" 4 billion. I just need to compare the state of RAM, registers and CPU before and after a 32 bit instruction for a measly 4 billion of them!!! Maybe it would finish overnight and so I could wake up with proof in hand! Of course I'd have to do this for various initial states of CPU, RAM and registers since hardware isn't stateless like HTML. Chris -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-list
