On Thu, Jul 31, 2008 at 02:52:11PM -0700, Andrew Lentvorski wrote: > > Even verifying that something without state is correct is hard. Take, > for example, a 64bit x 64-bit multiplier. Simple energy considerations > automatically rule out combinatoric testing.
Reminds me of something interesting that I read... http://blogs.sun.com/bonwick/entry/128_bit_storage_are_you -- *********************************************************************** * John Oliver http://www.john-oliver.net/ * * * *********************************************************************** -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-list
