---------------------------------------- > Date: Thu, 31 Jul 2008 02:41:40 -0400 > From: [EMAIL PROTECTED] > To: [email protected] > Subject: Re: Any company ever publish software that mimics their CPUs > *exactly*? > > On Wed, Jul 30, 2008 at 10:46:18PM -0700, David Brown wrote: >> ARM does publish their Software emulator, it's called the armulator. > > Actually I can't be sure the Armulator is a perfect model of an ARM chip's > interface. It depends how much care ARM put into it. I don't think there > is an answer to what I'm looking for......to somehow *verify* or *prove* > my emulator is right. > > As long as I run a ton of code on it and it gives the same answer as other > emulators and ARM boards, I guess that has to be good enough. > > I guess I just have to lighten up and calm down. >
Beware of bugs in the above code; I have only proved it correct, not tried it --Knuth You're worrying too much. Even if they gave you the VHDL, that doesn't prove there weren't bugs in the mask. Or in the software that interpreted the mask. Or bugs in the manufacturing process. Your best bet is to run it on a decent emulator, and if it works there I'd feel pretty safe. Besides, in embedded it's rarely the CPU that's the issue- its the ASICs, or the other hardware, or a weird OS, or just crappy tools. Gabe -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-list
