---------------------------------------- > Date: Thu, 31 Jul 2008 14:43:31 -0400 > From: [EMAIL PROTECTED] > To: [email protected] > Subject: Re: Any company ever publish software that mimics their CPUs > *exactly*? > > > 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. >
Sure. Now lets say we have 10 registers of 32 bits. Since we don't know how they may effect state we have to try all combinations, that's a mere 2^320 states per instruction, for a mere 2^352 total tests. Let me know when they finish, and we can start testing ram configurations :) Gabe -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-list
